1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
// { dg-do compile { target c++17 } } template <class T> struct A { template <class U> struct B { template <class V> B(T,U,V); }; }; A<int>::B b(1,2.0,'\3'); template <class,class> class same; template <class T> class same<T,T> {}; same<decltype(b), A<int>::B<double>> s;