library /*isNonNullableByDefault*/;
//
// 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;
import "dart:_internal" as _in;

static method f(dynamic x) → dynamic
  return let final Never #t1 = block {
    Never #t2;
    #L1:
    switch(x) /*isExplicitlyExhaustive*/ {
      #L2:
      default:
        throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
  } =>#t2 in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.");