clang/test/SemaTemplate/nested-deduction-guides.cpp

   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     B(const B &) = default;
   8   };
   9   template<typename U> B(U) -> B<U>;
  10 };
  11 A<void>::B b = 123;
  12 A<void>::B copy = b;
  13
  14 using T = decltype(b);
  15 using T = A<void>::B<int>;
  16
  17 using Copy = decltype(copy);
  18 using Copy = A<void>::B<int>;