[Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 Jason Merrill changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #4 from Jason Merrill --- Fixed.
[Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 --- Comment #3 from Jason Merrill --- 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
[Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 Jason Merrill changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed||2015-07-25 Assignee|unassigned at gcc dot gnu.org |jason at gcc dot gnu.org Ever confirmed|0 |1
[Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 --- Comment #2 from Eric Niebler --- I thought that, too. But this program has the same problem: #include template class T, class U> concept bool _Valid = requires { typename T; }; template using __t = typename T::type; template struct __has_type : std::false_type { }; template requires _Valid<__t, T> struct __has_type : std::true_type { }; static_assert(!__has_type(), "");
[Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66988 --- Comment #1 from Andrew Sutton --- I don't know if that's strictly a concepts issue. My guess is that the template argument coersion of this argument: template class to this parameter: template class is not succeeding.