1 // RUN: %clang_cc1 -std=c++17 -verify %s
2 // expected-no-diagnostics
3 
4 template<typename T> struct A {
5   template<typename U> struct B {
6     B(...);
7   };
8   template<typename U> B(U) -> B<U>;
9 };
10 A<void>::B b = 123;
11 
12 using T = decltype(b);
13 using T = A<void>::B<int>;
14