1 // RUN: %clang_cc1 -std=c++14 -fsyntax-only -verify %s
2
3 struct A {
operator __auto_typeA4 operator __auto_type() {} // expected-error {{'__auto_type' not allowed in conversion function type}}
5 };
6
7 __auto_type a() -> int; // expected-error {{function with trailing return type must specify return type 'auto'}}
8 __auto_type a2(); // expected-error {{'__auto_type' not allowed in function return type}}
9 template <typename T>
b()10 __auto_type b() { return T::x; } // expected-error {{'__auto_type' not allowed in function return type}}
c()11 auto c() -> __auto_type { __builtin_unreachable(); } // expected-error {{'__auto_type' not allowed in function return type}}
d()12 int d() {
13 decltype(__auto_type) e = 1; // expected-error {{expected expression}}
14 auto _ = [](__auto_type f) {}; // expected-error {{'__auto_type' not allowed in lambda parameter}}
15 __auto_type g = 2;
16 struct BitField { int field:2; };
17 __auto_type h = BitField{1}.field; // (should work from C++)
18 new __auto_type; // expected-error {{'__auto_type' not allowed in type allocated by 'new'}}
19 }
20
21