| library /*isNonNullableByDefault*/; | |
| // | |
| // Problems in library: | |
| // | |
| // 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]) { | |
| // ^ | |
| // | |
| import self as self; | |
| static method main(has-declared-initializer dynamic arguments) → dynamic | |
| ; |