| // P0634R3 | |
| // { dg-do compile { target c++20 } } | |
| // { dg-options "-fconcepts" } | |
| template <typename, typename> class A { class B; }; | |
| template <typename T, typename U> class A<T, U>::B { | |
| B(A &); | |
| }; | |
| template <typename T, typename U> | |
| A<T, U>::B::B(A<T, U> &) {} |