| library; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/coverage/static2_test.dart:9:26: Error: The type of parameter 'x', 'String' is not a subtype of the corresponding field's type, 'int'. |
| // Try changing the type of parameter 'x' to a subtype of 'int'. |
| // const A.a4(String this.x); // Error |
| // ^ |
| // pkg/front_end/testcases/coverage/static2_test.dart:8:13: Context: The field that corresponds to the parameter. |
| // final int x; |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| class A extends core::Object /*hasConstConstructor*/ { |
| final field core::int x; |
| const constructor a4(core::String x) → self::A |
| : self::A::x = x, super core::Object::•() |
| ; |
| } |