blob: 3c83bb884859f7122e1631838ec1fdf131024664 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// PR c++/101247
// { dg-do compile { target concepts } }
template<class T, class U> struct A {
template<class> static constexpr bool d = true;
static void g() requires d<U>;
};
int main() {
A<int, char>::g();
}
|