public inbox for gcc-bugs@sourceware.org help / color / mirror / Atom feed
* [Bug c++/66988] New: [concepts] concept with template template parameter satisfied erroneously @ 2015-07-24 7:36 eric.niebler at gmail dot com 2015-07-24 16:18 ` [Bug c++/66988] " andrew.n.sutton at gmail dot com ` (3 more replies) 0 siblings, 4 replies; 5+ messages in thread From: eric.niebler at gmail dot com @ 2015-07-24 7:36 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 Bug ID: 66988 Summary: [concepts] concept with template template parameter satisfied erroneously Product: gcc Version: c++-concepts Status: UNCONFIRMED Severity: normal Priority: P3 Component: c++ Assignee: unassigned at gcc dot gnu.org Reporter: eric.niebler at gmail dot com Target Milestone: --- Pretty sure the static assert in the program below should not fire, but it does. #include <type_traits> template <template <class...> class T, class... U> concept bool _Valid = requires { typename T<U...>; }; template <class T> using __t = typename T::type; template <class T> struct __has_type : std::false_type { }; template <class T> requires _Valid<__t, T> struct __has_type<T> : std::true_type { }; static_assert(!__has_type<int>(), ""); ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously 2015-07-24 7:36 [Bug c++/66988] New: [concepts] concept with template template parameter satisfied erroneously eric.niebler at gmail dot com @ 2015-07-24 16:18 ` andrew.n.sutton at gmail dot com 2015-07-24 17:01 ` eric.niebler at gmail dot com ` (2 subsequent siblings) 3 siblings, 0 replies; 5+ messages in thread From: andrew.n.sutton at gmail dot com @ 2015-07-24 16:18 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 --- Comment #1 from Andrew Sutton <andrew.n.sutton at gmail dot com> --- I don't know if that's strictly a concepts issue. My guess is that the template argument coersion of this argument: template <typename> class to this parameter: template <typename...> class is not succeeding. ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously 2015-07-24 7:36 [Bug c++/66988] New: [concepts] concept with template template parameter satisfied erroneously eric.niebler at gmail dot com 2015-07-24 16:18 ` [Bug c++/66988] " andrew.n.sutton at gmail dot com @ 2015-07-24 17:01 ` eric.niebler at gmail dot com 2015-07-25 3:20 ` jason at gcc dot gnu.org 2015-07-25 3:21 ` jason at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: eric.niebler at gmail dot com @ 2015-07-24 17:01 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 --- Comment #2 from Eric Niebler <eric.niebler at gmail dot com> --- I thought that, too. But this program has the same problem: #include <type_traits> template <template <class> class T, class U> concept bool _Valid = requires { typename T<U>; }; template <class T> using __t = typename T::type; template <class T> struct __has_type : std::false_type { }; template <class T> requires _Valid<__t, T> struct __has_type<T> : std::true_type { }; static_assert(!__has_type<int>(), ""); ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously 2015-07-24 7:36 [Bug c++/66988] New: [concepts] concept with template template parameter satisfied erroneously eric.niebler at gmail dot com 2015-07-24 16:18 ` [Bug c++/66988] " andrew.n.sutton at gmail dot com 2015-07-24 17:01 ` eric.niebler at gmail dot com @ 2015-07-25 3:20 ` jason at gcc dot gnu.org 2015-07-25 3:21 ` jason at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: jason at gcc dot gnu.org @ 2015-07-25 3:20 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 --- Comment #3 from Jason Merrill <jason at gcc dot gnu.org> --- Author: jason Date: Sat Jul 25 03:19:54 2015 New Revision: 226203 URL: https://gcc.gnu.org/viewcvs?rev=226203&root=gcc&view=rev Log: PR c++/66988 * constraint.cc (satisfy_type_constraint): Use error_operand_p. Added: branches/c++-concepts/gcc/testsuite/g++.dg/concepts/req16.C Modified: branches/c++-concepts/ChangeLog.concepts branches/c++-concepts/gcc/cp/constraint.cc ^ permalink raw reply [flat|nested] 5+ messages in thread
* [Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously 2015-07-24 7:36 [Bug c++/66988] New: [concepts] concept with template template parameter satisfied erroneously eric.niebler at gmail dot com ` (2 preceding siblings ...) 2015-07-25 3:20 ` jason at gcc dot gnu.org @ 2015-07-25 3:21 ` jason at gcc dot gnu.org 3 siblings, 0 replies; 5+ messages in thread From: jason at gcc dot gnu.org @ 2015-07-25 3:21 UTC (permalink / raw) To: gcc-bugs https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 Jason Merrill <jason at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |FIXED --- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> --- Fixed. ^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2015-07-25 3:21 UTC | newest] Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2015-07-24 7:36 [Bug c++/66988] New: [concepts] concept with template template parameter satisfied erroneously eric.niebler at gmail dot com 2015-07-24 16:18 ` [Bug c++/66988] " andrew.n.sutton at gmail dot com 2015-07-24 17:01 ` eric.niebler at gmail dot com 2015-07-25 3:20 ` jason at gcc dot gnu.org 2015-07-25 3:21 ` jason at gcc dot gnu.org
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).