1 // RUN: %clang_cc1 -std=c++14 -verify -ast-dump %s | FileCheck %s
2 // expected-no-diagnostics
4 // CHECK: FunctionDecl {{.*}} used func 'void (void)'
5 // CHECK-NEXT: TemplateArgument type 'int'
6 // CHECK: LambdaExpr {{.*}} 'class (lambda at
7 // CHECK: ParmVarDecl {{.*}} used f 'enum foo' cinit
8 // CHECK-NEXT: DeclRefExpr {{.*}} 'enum foo' EnumConstant {{.*}} 'a' 'enum foo'
13 enum class foo { a, b };
14 auto bar = [](foo f = foo::a) { return f; };
23 // CHECK: ClassTemplateSpecializationDecl {{.*}} struct class2 definition
24 // CHECK-NEXT: TemplateArgument type 'int'
25 // CHECK: LambdaExpr {{.*}} 'class (lambda at
26 // CHECK: ParmVarDecl {{.*}} used f 'enum foo' cinit
27 // CHECK-NEXT: DeclRefExpr {{.*}} 'enum foo' EnumConstant {{.*}} 'a' 'enum foo'
29 // Template struct case:
30 template <class T> struct class2 {
32 enum class foo { a, b };
33 [](foo f = foo::a) { return f; }();
37 template struct class2<int>;
39 // CHECK: FunctionTemplateDecl {{.*}} f1
40 // CHECK-NEXT: TemplateTypeParmDecl {{.*}} typename T
41 // CHECK-NEXT: FunctionDecl {{.*}} f1 'void (void)'
42 // CHECK: FunctionDecl {{.*}} f1 'void (void)'
43 // CHECK-NEXT: TemplateArgument type 'int'
44 // CHECK: ParmVarDecl {{.*}} n 'enum foo' cinit
45 // CHECK-NEXT: DeclRefExpr {{.*}} 'enum foo' EnumConstant {{.*}} 'a' 'enum foo'
49 enum class foo { a, b };
51 int g1(foo n = foo::a);
55 template void f1<int>();