library;
//
// Problems in library:
//
// pkg/front_end/testcases/coverage/switch3_test.dart:14:20: Error: A continue statement in a switch statement must have a label as a target.
// Try adding a label associated with one of the case clauses to the continue statement.
//     case 6: x = 2; continue; // Error
//                    ^^^^^^^^
//
// pkg/front_end/testcases/coverage/switch3_test.dart:17:10: Error: Can't return a value from a void function.
//   return a;
//          ^
//
import self as self;
import "dart:core" as core;

static method foo() → void {
  core::int a = 5;
  dynamic x;
  invalid-expression "pkg/front_end/testcases/coverage/switch3_test.dart:14:20: Error: A continue statement in a switch statement must have a label as a target.
Try adding a label associated with one of the case clauses to the continue statement.
    case 6: x = 2; continue; // Error
                   ^^^^^^^^";
  return invalid-expression "pkg/front_end/testcases/coverage/switch3_test.dart:17:10: Error: Can't return a value from a void function.
  return a;
         ^" in a;
}