| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| |
| class A<T extends core::Object? = dynamic> extends core::Object { |
| synthetic constructor •() → self::A<self::A::T%> |
| ; |
| } |
| class B extends self::A<core::String> { |
| synthetic constructor •() → self::B |
| ; |
| } |
| class C<T1 extends core::Object? = dynamic, T2 extends core::Object? = dynamic, T3 extends core::Object? = dynamic> extends self::B { |
| synthetic constructor •() → self::C<self::C::T1%, self::C::T2%, self::C::T3%> |
| ; |
| } |
| class D<P extends core::Object? = dynamic, Q extends core::Object? = dynamic> extends self::C<core::int, self::D::Q%, self::D::P%> { |
| covariant-by-class field core::Map<self::D::P%, self::D::Q%> foo; |
| constructor •(dynamic tt) → self::D<self::D::P%, self::D::Q%> |
| ; |
| method foo2(dynamic y) → dynamic |
| ; |
| method foo3<T1 extends core::Object? = dynamic, T2 extends core::Object? = dynamic>(dynamic z) → dynamic |
| ; |
| method foo4(dynamic w) → core::Map<self::D::P%, self::D::Q%> |
| ; |
| } |
| class E<P extends core::String> extends core::Object { |
| static factory •<P extends core::String>() → self::E<self::E::•::P> |
| ; |
| method foo6<covariant-by-class T extends self::E::P, U extends core::List<self::E::foo6::T> = core::List<self::E::P>>(core::Map<self::E::foo6::T, self::E::foo6::U> map) → void |
| ; |
| } |
| abstract class F<T extends core::Object? = dynamic> extends core::Object { |
| synthetic constructor •() → self::F<self::F::T%> |
| ; |
| abstract method foo7<covariant-by-class Q extends self::F::T%>(self::F::foo7::Q% a, covariant-by-declaration core::num b, covariant-by-class self::F::T% c) → void; |
| abstract method foo8<covariant-by-class Q extends self::F::T%>(self::F::foo8::Q% a, covariant-by-declaration core::num b, covariant-by-class self::F::T% c) → void; |
| } |
| class G<T extends core::Object? = dynamic> extends core::Object { |
| synthetic constructor •() → self::G<self::G::T%> |
| ; |
| method foo7<covariant-by-class Q extends self::G::T%>(self::G::foo7::Q% a, core::int b, covariant-by-class self::G::T% c) → void |
| ; |
| } |
| class H<T extends core::Object? = dynamic> extends self::G<self::H::T%> implements self::F<self::H::T%> { |
| synthetic constructor •() → self::H<self::H::T%> |
| ; |
| method foo8<covariant-by-class Q extends self::H::T%>(self::H::foo8::Q% a, covariant-by-declaration core::int b, covariant-by-class self::H::T% c) → void |
| ; |
| forwarding-stub method foo7<covariant-by-class Q extends self::H::T%>(self::H::foo7::Q% a, covariant-by-declaration core::num b, covariant-by-class self::H::T% c) → void |
| return super.{self::G::foo7}<self::H::foo7::Q%>(a, b as core::int, c); |
| } |
| late static field core::List<core::Iterable<dynamic>> globalVar; |
| static method foo1(dynamic x) → dynamic |
| ; |
| static method foo5(dynamic x) → void |
| ; |
| static method main() → dynamic |
| ; |