From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-34154-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 17840 invoked by alias); 4 May 2003 17:26:00 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 17824 invoked by uid 71); 4 May 2003 17:26:00 -0000
Date: Sun, 04 May 2003 17:26:00 -0000
Message-ID: <20030504172600.17823.qmail@sources.redhat.com>
To: nobody@gcc.gnu.org
Cc: gcc-prs@gcc.gnu.org,
From: "Giovanni Bajo" <giovannibajo@libero.it>
Subject: Re: c++/10619
Reply-To: "Giovanni Bajo" <giovannibajo@libero.it>
X-SW-Source: 2003-05/txt/msg00242.txt.bz2
List-Id: <gcc-prs.sourceware.org>

The following reply was made to PR c++/10619; it has been noted by GNATS.

From: "Giovanni Bajo" <giovannibajo@libero.it>
To: "Wolfgang Bangerth" <bangerth@ices.utexas.edu>,
	<gcc-gnats@gcc.gnu.org>
Cc: <gccbugs@contacts.eelis.net>
Subject: Re: c++/10619
Date: Sun, 4 May 2003 19:17:15 +0200

 Wolfgang Bangerth <bangerth@ices.utexas.edu> wrote:
 
 > Regarding the other example you have: you can't have a name being
 > templatized on a type and a value, so the error message should read
 > something like
 >   can't instantiate type-template foo<T> with a template _value_
 
 I think that would break SFINAE again:
 
 template <typename T> void foo(int );    // #1
 template <int N> void foo(int );   // #2
 
 foo<0>(4);   // calls #2
 
 Thus, the problem is that "foo<0>(4)" must silently fail specilization of
 #1. If #2 is not present, the correct error is "no function matching call to
 foo<0>(int)". To be picky, it'd be "foo<(integer-literal)>(int)".
 
 Giovanni Bajo