| // Copyright (c) 2023, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| |
| // Test that errors are generated if a unary pattern or a relational pattern |
| // appears inside a unary pattern. This is prohibited by the patterns grammar, |
| // but accepted by the parser's precedence-based parsing logic (because it's not |
| // actually ambiguous), so the parser has special logic to detect the error |
| // condition. |
| |
| test_cast_insideCast(x) { |
| switch (x) { |
| case _ as int as num: |
| // ^^^^^^^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_cast_insideNullAssert(x) { |
| switch (x) { |
| case _ as int!: |
| // ^^^^^^^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_cast_insideNullCheck(x) { |
| switch (x) { |
| case _ as int? ?: |
| // ^^^^^^^^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_nullAssert_insideCast(x) { |
| switch (x) { |
| case _! as num?: |
| // ^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_nullAssert_insideNullAssert(x) { |
| switch (x) { |
| case _!!: |
| // ^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_nullAssert_insideNullCheck(x) { |
| switch (x) { |
| case _!?: |
| // ^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_nullCheck_insideCast(x) { |
| switch (x) { |
| case _? as num?: |
| // ^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_nullCheck_insideNullAssert(x) { |
| switch (x) { |
| case _?!: |
| // ^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_nullCheck_insideNullCheck(x) { |
| switch (x) { |
| case _? ?: |
| // ^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_relational_insideNullCheck_equal(x) { |
| switch (x) { |
| case == 1?: |
| // ^^^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| test_relational_insideNullCheck_greaterThan(x) { |
| switch (x) { |
| case > 1?: |
| // ^^^ |
| // [analyzer] SYNTACTIC_ERROR.INVALID_INSIDE_UNARY_PATTERN |
| // [cfe] This pattern cannot appear inside a unary pattern (cast pattern, null check pattern, or null assert pattern) without parentheses. |
| break; |
| } |
| } |
| |
| main() {} |