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 template<typename T> struct S2 { S2(T); }; 13 template <typename T> S2(T t) -> S2<T>; 14 } 15 using ns::S; 16 using ns::S2; 17 18 // TemplateName in TemplateSpecializationType. 19 template<typename T> 20 using A = S<T>; 21 // CHECK: TypeAliasDecl 22 // CHECK-NEXT: `-ElaboratedType {{.*}} 'S<T>' sugar dependent 23 // CHECK-NEXT: `-TemplateSpecializationType {{.*}} 'S<T>' dependent 24 // CHECK-NEXT: |-name: 'S':'ns::S' qualified 25 // CHECk-NEXT: | |-UsingShadowDecl {{.+}} ClassTemplate {{.+}} 'S' 26 27 // TemplateName in TemplateArgument. 28 template <template <typename> class T> class X {}; 29 using B = X<S>; 30 // CHECK: TypeAliasDecl 31 // CHECK-NEXT: `-ElaboratedType {{.*}} 'X<S>' sugar 32 // CHECK-NEXT: `-TemplateSpecializationType {{.*}} 'X<S>' sugar 33 // CHECK-NEXT: |-name: 'X' qualified 34 // CHECK-NEXT: | `-ClassTemplateDecl {{.+}} X 35 // CHECK-NEXT: |-TemplateArgument template 'S':'ns::S' qualified 36 // CHECK-NEXT: | |-UsingShadowDecl {{.*}} implicit ClassTemplate {{.*}} 'S' 37 // CHECK-NEXT: | `-target: ClassTemplateDecl {{.*}} S 38 // CHECK-NEXT: `-RecordType {{.*}} 'X<ns::S>' 39 // CHECK-NEXT: `-ClassTemplateSpecialization {{.*}} 'X' 40 41 // TemplateName in DeducedTemplateSpecializationType. 42 S DeducedTemplateSpecializationT(123); 43 using C = decltype(DeducedTemplateSpecializationT); 44 // CHECK: DecltypeType {{.*}} 45 // CHECK-NEXT: |-DeclRefExpr {{.*}} 46 // CHECK-NEXT: `-ElaboratedType {{.*}} 'S<int>' sugar 47 // CHECK-NEXT: `-DeducedTemplateSpecializationType {{.*}} 'ns::S<int>' sugar 48 // CHECK-NEXT: |-name: 'S':'ns::S' qualified 49 // CHECK-NEXT: | |-UsingShadowDecl {{.+}} 'S' 50 51 S2 DeducedTemplateSpecializationT2(123); 52 using D = decltype(DeducedTemplateSpecializationT2); 53 // CHECK: DecltypeType {{.*}} 54 // CHECK-NEXT: |-DeclRefExpr {{.*}} 55 // CHECK-NEXT: `-ElaboratedType {{.*}} 'S2<int>' sugar 56 // CHECK-NEXT: `-DeducedTemplateSpecializationType {{.*}} 'S2<int>' sugar 57 // CHECK-NEXT: |-name: 'S2':'ns::S2' qualified 58 //CHECk-NEXT: | |-UsingShadowDecl {{.+}} ClassTemplate {{.+}} 'S2' 59