Robert Nystrom
dbaf041ae4
Change-Id: Ia3238c1781422ec5eb7a219a5cf8af645a4c5876 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/409000 Commit-Queue: Bob Nystrom <rnystrom@google.com> Reviewed-by: Lasse Nielsen <lrn@google.com> Auto-Submit: Bob Nystrom <rnystrom@google.com>
30 lines
1.1 KiB
Dart
30 lines
1.1 KiB
Dart
// 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.
|
|
|
|
main() {
|
|
var local = 'local';
|
|
|
|
// If cases sharing a body don't agree on a variable's finality, it is still
|
|
// considered in scope and an error to use.
|
|
switch ('value') {
|
|
case final int local when false: // Guard to make the next case reachable.
|
|
case int local:
|
|
print(local);
|
|
// ^^^^^
|
|
// [analyzer] COMPILE_TIME_ERROR.INVALID_PATTERN_VARIABLE_IN_SHARED_CASE_SCOPE
|
|
// [cfe] Variable pattern 'local' doesn't have the same type or finality in all cases.
|
|
}
|
|
|
|
// If cases sharing a body don't agree on a variable's type, it is still
|
|
// considered in scope and an error to use.
|
|
switch ('value') {
|
|
case bool local:
|
|
case int local:
|
|
print(local);
|
|
// ^^^^^
|
|
// [analyzer] COMPILE_TIME_ERROR.INVALID_PATTERN_VARIABLE_IN_SHARED_CASE_SCOPE
|
|
// [cfe] Variable pattern 'local' doesn't have the same type or finality in all cases.
|
|
}
|
|
}
|