| // 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 the proper errors are generated if both `var` and a type are used |
| // in a declared variable pattern. |
| |
| void inAssignmentContext() { |
| // No need for a separate error here, since it's already illegal for a |
| // variable declaration to appear in an assignment context. |
| var x; |
| [x, var int y] = [0, 1]; |
| // ^ |
| // [analyzer] SYNTACTIC_ERROR.PATTERN_ASSIGNMENT_DECLARES_VARIABLE |
| // [cfe] Variable 'y' can't be declared in a pattern assignment. |
| } |
| |
| void inDeclarationContext() { |
| // No need for a separate error here, since it's already illegal for `var` to |
| // appear in a declaration context. |
| var [var int x] = [0]; |
| // ^^^ |
| // [analyzer] SYNTACTIC_ERROR.VARIABLE_PATTERN_KEYWORD_IN_DECLARATION_CONTEXT |
| // [cfe] Variable patterns in declaration context can't specify 'var' or 'final' keyword. |
| } |
| |
| void inMatchingContext() { |
| if ([0] case [var int x]) {} |
| // ^^^ |
| // [analyzer] SYNTACTIC_ERROR.VAR_AND_TYPE |
| // [cfe] Variables can't be declared using both 'var' and a type name. |
| } |
| |
| main() {} |