[Bug c++/82507] [concepts] premature substitution into constraint of non-template member function

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82507

Marek Polacek <mpolacek at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2018-06-27
                 CC|                            |mpolacek at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
We get:
g.cc: In instantiation of ‘struct S<int>’:
g.cc:13:8:   required from here
g.cc:10:8: error: ‘int’ is not a class, struct, or union type
   void foo() requires HasType<T> && True<typename T::type>;
        ^~~