| library test; |
| import self as self; |
| import "dart:core" as core; |
| import "dart:async" as asy; |
| |
| import "dart:async"; |
| |
| class D<T extends core::Object? = dynamic> extends core::Object { |
| synthetic constructor •() → self::D<self::D::T%> |
| ; |
| } |
| class E<T extends core::Object? = dynamic> extends self::D<self::E::T%> { |
| synthetic constructor •() → self::E<self::E::T%> |
| ; |
| } |
| class B<T extends core::Object? = dynamic> extends core::Object { |
| covariant-by-class field self::D<self::B::T%> x; |
| synthetic constructor •() → self::B<self::B::T%> |
| ; |
| } |
| class C<U extends core::Object? = dynamic> extends self::B<asy::Future<self::C::U%>> { |
| synthetic constructor •() → self::C<self::C::U%> |
| ; |
| get x() → self::E<asy::Future<self::C::U%>> |
| ; |
| set x(covariant-by-class core::Object x) → void |
| ; |
| method g() → void |
| ; |
| } |
| static method main() → dynamic |
| ; |