// Formatted problems:
//
// pkg/front_end/testcases/rasta/mandatory_parameter_initializer.dart:5:16: Error: Non-optional parameters can't have a default value.
// Try removing the default value or making the parameter optional.
// main(arguments = [x]) {
//                ^

library;
import self as self;

static method main(dynamic arguments) → dynamic
  ;