| // PR c++/98486 | |
| // { dg-do compile { target c++20 } } | |
| template<class T, class U> concept C = __is_same(T, U); | |
| struct A { | |
| template<C<int>> static int v; | |
| }; | |
| template<> int A::v<int>; | |
| template<> int A::v<char>; // { dg-error "match" } | |
| int x = A::v<int>; | |
| int y = A::v<char>; // { dg-error "invalid" } |