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