1 // RUN: %clang_cc1 -triple x86_64-unknown-unknown -std=c++17 -ast-dump %s | FileCheck -strict-whitespace %s
2 
3 // Tests to verify we construct correct using template names.
4 // TemplateNames are not dumped, so the sugar here isn't obvious. However
5 // the "using" on the TemplateSpecializationTypes shows that the
6 // UsingTemplateName is present.
7 namespace ns {
8 template<typename T> class S {
9  public:
10    S(T);
11 };
12 }
13 using ns::S;
14 
15 // TemplateName in TemplateSpecializationType.
16 template<typename T>
17 using A = S<T>;
18 // CHECK:      TypeAliasDecl
19 // CHECK-NEXT: `-TemplateSpecializationType {{.*}} 'S<T>' dependent using S
20 
21 // TemplateName in TemplateArgument.
22 template <template <typename> class T> class X {};
23 using B = X<S>;
24 // CHECK:      TypeAliasDecl
25 // CHECK-NEXT: `-TemplateSpecializationType {{.*}} 'X<ns::S>' sugar X
26 // CHECK-NEXT:   |-TemplateArgument using template S
27 // CHECK-NEXT:     `-RecordType {{.*}} 'X<ns::S>'
28 // CHECK-NEXT:       `-ClassTemplateSpecialization {{.*}} 'X'
29 
30 // TemplateName in DeducedTemplateSpecializationType.
31 S DeducedTemplateSpecializationT(123);
32 using C = decltype(DeducedTemplateSpecializationT);
33 // CHECK:      DecltypeType {{.*}}
34 // CHECK-NEXT:  |-DeclRefExpr {{.*}}
35 // CHECK-NEXT:  `-DeducedTemplateSpecializationType {{.*}} 'ns::S<int>' sugar using
36