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