1 // P0634R3 2 // { dg-do compile { target c++2a } } 3 // { dg-options "-fconcepts" } 4 5 template <typename, typename> class A { class B; }; 6 7 template <typename T, typename U> class A<T, U>::B { 8 B(A &); 9 }; 10 11 template <typename T, typename U> B(A<T,U> &)12 A<T, U>::B::B(A<T, U> &) {} 13