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;