| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| class A<T extends core::Object> extends core::Object { |
| synthetic constructor •() → void |
| : super core::Object::•() |
| ; |
| } |
| class M extends core::Object { |
| synthetic constructor •() → void |
| : super core::Object::•() |
| ; |
| method m() → dynamic |
| return 42; |
| } |
| abstract class _A&M^#U0^<#U0 extends core::Object> = self::A<self::_A&M^#U0^::#U0> with self::M { |
| } |
| class C extends self::_A&M^#U0^<self::A<dynamic>> { |
| synthetic constructor •() → void |
| : super self::A::•() |
| ; |
| } |
| static method main() → dynamic { |
| new self::C::•().m().+(1); |
| } |