pkg/front_end/testcases/general/covariant_type_parameter.dart.weak.expect

library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

class A<S extends core::Object? = dynamic> extends core::Object {
  synthetic constructor •() → self::A<self::A::S%>
    : super core::Object::•()
    ;
  method method<covariant-by-class T extends self::A::S%>(covariant-by-class self::A::S% s) → void {}
}
class B<S extends core::Object? = dynamic> extends core::Object {
  synthetic constructor •() → self::B<self::B::S%>
    : super core::Object::•()
    ;
  method method<covariant-by-class T extends self::B::S%>(covariant-by-declaration covariant-by-class self::B::S% s) → void {}
}
class C<S extends core::Object? = dynamic> extends self::A<self::C::S%> implements self::B<self::C::S%> {
  synthetic constructor •() → self::C<self::C::S%>
    : super self::A::•()
    ;
  forwarding-stub forwarding-semi-stub method method<covariant-by-class T extends self::C::S%>(covariant-by-declaration covariant-by-class self::C::S% s) → void
    return super.{self::A::method}<self::C::method::T%>(s);
}
class D<S extends core::Object? = dynamic> extends self::A<self::D::S%> implements self::B<self::D::S%> {
  synthetic constructor •() → self::D<self::D::S%>
    : super self::A::•()
    ;
  forwarding-stub method method<covariant-by-class T extends self::D::S%>(covariant-by-declaration covariant-by-class self::D::S% s) → void
    return super.{self::A::method}<self::D::method::T%>(s);
}
static method main() → dynamic {}