[Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously

[andrew.n.sutton at gmail dot com]

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.

[Bug c++/66988] [concepts] concept with template template parameter satisfied erroneously

[eric.niebler at gmail dot com]

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

[jason at gcc dot gnu.org]

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

[jason at gcc dot gnu.org]

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

[jason at gcc dot gnu.org]

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.