// RUN: %clang_cc1 -std=c++17 -verify %s
// expected-no-diagnostics

template<typename T> struct A {
  template<typename U> struct B {
    B(...);
    B(const B &) = default;
  };
  template<typename U> B(U) -> B<U>;
};
A<void>::B b = 123;
A<void>::B copy = b;

using T = decltype(b);
using T = A<void>::B<int>;

using Copy = decltype(copy);
using Copy = A<void>::B<int>;