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