| library /*isNonNullableByDefault*/; |
| import self as self; |
| import "dart:core" as core; |
| |
| class Super<T extends core::Object? = dynamic> extends core::Object { |
| synthetic constructor •() → self::Super<self::Super::T%> |
| : super core::Object::•() |
| ; |
| method method(generic-covariant-impl self::Super::T% t) → void {} |
| } |
| class Mixin extends core::Object { |
| synthetic constructor •() → self::Mixin |
| : super core::Object::•() |
| ; |
| method method(core::int t) → void {} |
| } |
| class Class extends self::Super<core::int> implements self::Mixin /*isEliminatedMixin*/ { |
| synthetic constructor •() → self::Class |
| : super self::Super::•() |
| ; |
| method method(generic-covariant-impl core::int t) → void {} |
| } |
| class Subclass extends self::Class { |
| synthetic constructor •() → self::Subclass |
| : super self::Class::•() |
| ; |
| method test() → void { |
| super.{self::Class::method}(0); |
| } |
| } |
| static method main() → dynamic {} |