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