blob: b4f611333bfeb40520421637574b0b2b79fa2fe4 (
plain)
1
2
3
4
5
|
// { dg-do compile { target concepts } }
template <class T> concept True = true;
template <class T, int I = static_cast<int>(True<T>)> struct A { };
template <class T> struct B: A<T> { };
|