| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| import "main_lib.dart" as mai; |
| |
| import "org-dartlang-testcase:///main_lib.dart"; |
| |
| class Class extends core::Object implements mai::Interface { |
| field core::int? field1; |
| field core::int? field2; |
| field core::int? field3; |
| synthetic constructor •() → self::Class |
| ; |
| } |
| static method method(mai::Interface i) → void |
| ; |
| static method main() → dynamic |
| ; |
| |
| library /*isNonNullableByDefault*/; |
| import self as mai; |
| import "dart:core" as core; |
| |
| class Interface extends core::Object { |
| field core::int? field1; |
| field core::int? field2; |
| field core::int? field3; |
| synthetic constructor •() → mai::Interface |
| ; |
| } |