| library; | |
| import self as self; | |
| import "dart:core" as core; | |
| abstract class A<X extends core::Object? = dynamic> extends core::Object { | |
| synthetic constructor •() → self::A<self::A::X%> | |
| ; | |
| method foo<covariant-by-class Y extends self::A::X%>() → void | |
| ; | |
| } | |
| class B<Z extends core::Object? = dynamic> extends self::A<self::B::Z%> { | |
| synthetic constructor •() → self::B<self::B::Z%> | |
| ; | |
| } | |
| static method main() → void | |
| ; |