1 // Test without serialization: 2 // RUN: %clang_cc1 %s -ast-dump -std=c++17 | FileCheck %s 3 // 4 // Test with serialization: 5 // RUN: %clang_cc1 -std=c++17 -emit-pch -o %t %s 6 // RUN: %clang_cc1 -x c++ -std=c++17 -include-pch %t -ast-dump-all /dev/null \ 7 // RUN: | sed -e "s/ <undeserialized declarations>//" -e "s/ imported//" \ 8 // RUN: | FileCheck %s 9 10 namespace PR46111 { 11 template <typename> 12 struct S; 13 14 template <typename T> 15 struct HasDeductionGuide { 16 typedef PR46111::S<T> STy; 17 HasDeductionGuide(typename STy::Child); 18 }; 19 20 // This causes deduction guides to be generated for all constructors. 21 HasDeductionGuide()->HasDeductionGuide<int>; 22 23 template <typename T> 24 struct HasDeductionGuideTypeAlias { 25 using STy = PR46111::S<T>; 26 HasDeductionGuideTypeAlias(typename STy::Child); 27 }; 28 29 // This causes deduction guides to be generated for all constructors. 30 HasDeductionGuideTypeAlias()->HasDeductionGuideTypeAlias<int>; 31 32 // The parameter to this one shouldn't be an elaborated type. 33 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuide> 'auto (typename STy::Child) -> HasDeductionGuide<T>' 34 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuide> 'auto (HasDeductionGuide<T>) -> HasDeductionGuide<T>' 35 // CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for HasDeductionGuide> 'auto () -> HasDeductionGuide<int>' 36 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuideTypeAlias> 'auto (typename STy::Child) -> HasDeductionGuideTypeAlias<T>' 37 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for HasDeductionGuideTypeAlias> 'auto (HasDeductionGuideTypeAlias<T>) -> HasDeductionGuideTypeAlias<T>' 38 // CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for HasDeductionGuideTypeAlias> 'auto () -> HasDeductionGuideTypeAlias<int>' 39 } // namespace PR46111 40 41 42 namespace PR48177 { 43 template <class A> struct Base { 44 using type_alias = A; 45 }; 46 template<class T, int S, class A> 47 struct Derived : Base<A> { 48 using type_alias = typename Derived::type_alias; 49 Derived(Derived &&, typename Derived::type_alias const&); 50 Derived(T); 51 }; 52 53 template<class T, class A> 54 Derived(T, A) -> Derived<T, 1, A>; 55 init()56 void init() { 57 Derived d {1,2}; 58 } 59 } // namespace PR48177 60 61 // CHECK: CXXRecordDecl {{.*}} struct Derived 62 // CHECK: TypeAliasDecl {{.*}} type_alias 'typename Derived<T, S, A>::type_alias' 63 // CHECK-NEXT: DependentNameType {{.*}} 'typename Derived<T, S, A>::type_alias' dependent 64 65 // CHECK: CXXRecordDecl {{.*}} struct Derived 66 // CHECK: TypeAliasDecl {{.*}} type_alias 'typename Derived<int, 1, int>::type_alias':'int' 67 // CHECK-NEXT: ElaboratedType {{.*}} 'typename Derived<int, 1, int>::type_alias' sugar 68 // CHECK-NEXT: TypedefType {{.*}} 'PR48177::Base<int>::type_alias' sugar 69 // CHECK-NEXT: TypeAlias {{.*}} 'type_alias' 70 // CHECK-NEXT: SubstTemplateTypeParmType {{.*}} 'int' sugar class depth 0 index 0 A 71 // CHECK-NEXT: ClassTemplateSpecialization {{.*}} 'Base' 72 // CHECK-NEXT: BuiltinType {{.*}} 'int' 73 74 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for Derived> 'auto (Derived<T, S, A> &&, const typename Derived<T, S, A>::type_alias &) -> Derived<T, S, A>' 75 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for Derived> 'auto (T) -> Derived<T, S, A>' 76 // CHECK: CXXDeductionGuideDecl {{.*}} implicit <deduction guide for Derived> 'auto (Derived<T, S, A>) -> Derived<T, S, A>' 77 // CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for Derived> 'auto (T, A) -> Derived<T, 1, A>' 78 // CHECK: CXXDeductionGuideDecl {{.*}} <deduction guide for Derived> 'auto (int, int) -> Derived<int, 1, int>' 79