1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// { dg-do compile { target concepts } } template <class T> struct A { constexpr A(T) requires (sizeof(T) > 1) {} A(T); }; template <class T> struct B: A<T> { using A<T>::A; }; int main() { constexpr B<int> b = 42; }