| // Copyright (c) 2022, 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. |
| |
| /// @assertion A pattern on the left side of an assignment expression is used to |
| /// destructure the assigned value. We extend expression: |
| /// |
| /// expression ::= patternAssignment |
| /// | // Existing productions... |
| /// |
| /// patternAssignment ::= outerPattern '=' expression |
| /// ... |
| /// In a pattern assignment, all variable patterns are interpreted as referring |
| /// to existing variables. You can't declare any new variables. |
| /// |
| /// @description Check that it is a compile-time error if a pattern assignment |
| /// declares any variable. Test a parenthesized pattern |
| /// @author sgrekhov22@gmail.com |
| |
| main() { |
| Record r = (); |
| int a = 42, b = 42; |
| ((var a, _) && r) = (1, 2); |
| // ^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((int a, _) && r) = (1, 2); |
| // ^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((final a, _) && r) = (1, 2); |
| // ^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, var x) && r) = (1, 2); |
| // ^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, int x) && r) = (1, 2); |
| // ^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, final x3) && r) = (1, 2); |
| // ^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, b) && var r) = (1, 2); |
| // ^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, b) && Record r) = (1, 2); |
| // ^^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, b) && final r) = (1, 2); |
| // ^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, b) && var r1) = (1, 2); |
| // ^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, b) && Record r1) = (1, 2); |
| // ^^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, b) && final r1) = (1, 2); |
| // ^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((const a, _) && r) = (1, 2); |
| // ^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, const c1) && r) = (1, 2); |
| // ^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| |
| ((a, b) && const r) = (1, 2); |
| // ^^^^^ |
| // [analyzer] unspecified |
| // [cfe] unspecified |
| } |