| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "main_lib.dart" as mai; |
| |
| import "org-dartlang-testcase:///main_lib.dart"; |
| |
| class B extends mai::A { |
| synthetic constructor •() → self::B |
| : super mai::A::•() |
| ; |
| } |
| static method main() → dynamic {} |
| |
| library /*isNonNullableByDefault*/; |
| import self as mai; |
| import "dart:core" as core; |
| |
| class A extends core::Object { |
| synthetic constructor •() → mai::A |
| : super core::Object::•() |
| ; |
| @#C1 |
| abstract method noSuchMethod(core::Invocation invocation) → dynamic; |
| } |
| |
| constants { |
| #C1 = core::_Override {} |
| } |