public inbox for gcc-prs@sourceware.org help / color / mirror / Atom feed
From: "Giovanni Bajo" <giovannibajo@libero.it> To: nobody@gcc.gnu.org Cc: gcc-prs@gcc.gnu.org, Subject: Re: c++/10619 Date: Sun, 04 May 2003 17:26:00 -0000 [thread overview] Message-ID: <20030504172600.17823.qmail@sources.redhat.com> (raw) 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
next reply other threads:[~2003-05-04 17:26 UTC|newest] Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top 2003-05-04 17:26 Giovanni Bajo [this message] -- strict thread matches above, loose matches on Subject: below -- 2003-05-04 17:26 c++/10619 Wolfgang Bangerth 2003-05-04 16:36 c++/10619 Wolfgang Bangerth
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20030504172600.17823.qmail@sources.redhat.com \ --to=giovannibajo@libero.it \ --cc=gcc-prs@gcc.gnu.org \ --cc=nobody@gcc.gnu.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).