| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "main_lib.dart" as mai; |
| |
| import "org-dartlang-testcase:///main_lib.dart"; |
| |
| class SubClass extends mai::Class { |
| synthetic constructor •() → self::SubClass |
| ; |
| } |
| static method main() → dynamic |
| ; |
| |
| library /*isNonNullableByDefault*/; |
| import self as mai; |
| import "dart:core" as core; |
| |
| class SuperClass extends core::Object { |
| synthetic constructor •() → mai::SuperClass |
| ; |
| method method(covariant core::int i) → void |
| ; |
| } |
| class Mixin extends core::Object { |
| synthetic constructor •() → mai::Mixin |
| ; |
| method method(core::num i) → void |
| ; |
| } |
| abstract class _Class&SuperClass&Mixin = mai::SuperClass with mai::Mixin /*isAnonymousMixin*/ { |
| synthetic constructor •() → mai::_Class&SuperClass&Mixin |
| : super mai::SuperClass::•() |
| ; |
| forwarding-stub method method(covariant core::num i) → void |
| return super.{mai::SuperClass::method}(i); |
| } |
| class Class extends mai::_Class&SuperClass&Mixin { |
| synthetic constructor •() → mai::Class |
| ; |
| } |