test/SemaTemplate/nested-deduction-guides.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13

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

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

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