1 2 3 4 5 6 7 8 9 10
// PR c++/79501 // { dg-do compile { target c++17 } } template<class T> struct A { template<class U> struct B { template<class V> B(V); }; B(T) -> B<T>; }; A<int>::B b(0);