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