[clang] cfda534 - [NFC] clang: add test for PR55886

[Matheus Izvekov via cfe-commits]

Author: Matheus Izvekov
Date: 2022-06-09T01:20:58+02:00
New Revision: cfda534b9944571bf55f0b275982d578361ab7d7

URL: https://github.com/llvm/llvm-project/commit/cfda534b9944571bf55f0b275982d578361ab7d7
DIFF: https://github.com/llvm/llvm-project/commit/cfda534b9944571bf55f0b275982d578361ab7d7.diff

LOG: [NFC] clang: add test for PR55886

Signed-off-by: Matheus Izvekov <mizvekov at gmail.com>

Differential Revision: https://reviews.llvm.org/D127361

Added: 
    

Modified: 
    clang/test/AST/ast-dump-template-decls.cpp

Removed: 
    


################################################################################
diff  --git a/clang/test/AST/ast-dump-template-decls.cpp b/clang/test/AST/ast-dump-template-decls.cpp
index 51ec673ab8f3..616a96902eff 100644
--- a/clang/test/AST/ast-dump-template-decls.cpp
+++ b/clang/test/AST/ast-dump-template-decls.cpp
@@ -108,3 +108,22 @@ template <typename Uy>
 // CHECK: FunctionTemplateDecl 0x{{[^ ]*}} parent 0x{{[^ ]*}} prev 0x{{[^ ]*}} <line:[[@LINE-1]]:1, line:[[@LINE+2]]:18> col:13 f
 // CHECK-NEXT: TemplateTypeParmDecl 0x{{[^ ]*}} <line:[[@LINE-2]]:11, col:20> col:20 typename depth 1 index 0 Uy
 void V<Ty>::f() {}
+
+namespace PR55886 {
+template <class T> struct C {
+  template <class U> using type1 = U(T);
+};
+using type2 = typename C<int>::type1<void>;
+// CHECK:      TypeAliasDecl 0x{{[^ ]*}} <line:[[@LINE-1]]:1, col:42> col:7 type2 'typename C<int>::type1<void>':'void (int)'
+// CHECK-NEXT: ElaboratedType 0x{{[^ ]*}} 'typename C<int>::type1<void>' sugar
+// CHECK-NEXT: TemplateSpecializationType 0x{{[^ ]*}} 'type1<void>' sugar alias type1
+// CHECK-NEXT: TemplateArgument type 'void'
+// CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'void'
+// CHECK-NEXT: FunctionProtoType 0x{{[^ ]*}} 'void (int)' cdecl
+// CHECK-NEXT: SubstTemplateTypeParmType 0x{{[^ ]*}} 'void' sugar
+// CHECK-NEXT: TemplateTypeParmType 0x{{[^ ]*}} 'U' dependent depth 0 index 0
+// CHECK-NEXT: TemplateTypeParm 0x{{[^ ]*}} 'U'
+// CHECK-NEXT: BuiltinType 0x{{[^ ]*}} 'void'
+// CHECK-NEXT: SubstTemplateTypeParmType 0x{{[^ ]*}} 'int' sugar
+// CHECK-NEXT: TemplateTypeParmType 0x{{[^ ]*}} 'T' dependent depth 0 index 0
+} // namespace PR55886