Files
sdk/pkg/front_end/testcases/patterns/switchExpression_empty.dart.strong.modular.expect
Johnni Winther 4bf22f41f3 [cfe] Use sound null safety for outline and modular suites
Change-Id: Ideee9917b2e5b819672c7e441d051f9bc57c86c6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/366342
Reviewed-by: Jens Johansen <jensj@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>
2024-05-15 08:27:25 +00:00

19 lines
504 B
Plaintext

library;
//
// Problems in library:
//
// pkg/front_end/testcases/patterns/switchExpression_empty.dart:5:16: Error: The type 'dynamic' is not exhaustively matched by the switch cases since it doesn't match 'Object()'.
// Try adding a wildcard pattern or cases that match 'Object()'.
// f(x) => switch(x) {};
// ^
//
import self as self;
static method f(dynamic x) → dynamic
return block {
Never #t1;
#L1:
switch(x) /* isExplicitlyExhaustive, dynamic */ {
}
} =>#t1;