| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/patterns/switchExpression_onePattern_guarded.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; |
| import "dart:core" as core; |
| import "dart:_internal" as _in; |
| |
| static method f(dynamic x) → dynamic |
| return block { |
| core::int #t1; |
| final synthesized dynamic #0#0 = x; |
| #L1: |
| { |
| { |
| if(true && true) { |
| #t1 = 0; |
| break #L1; |
| } |
| } |
| throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type."); |
| } |
| } =>#t1; |
| |
| |
| Extra constant evaluation status: |
| Evaluated: LogicalExpression @ org-dartlang-testcase:///switchExpression_onePattern_guarded.dart:6:15 -> BoolConstant(true) |
| Extra constant evaluation: evaluated: 7, effectively constant: 1 |
