blob: 3e78979f0e5cb4f21d6fa9f4aa3f31bfc2fed9cb [file] [log] [blame]
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%>
;
method method(covariant-by-class self::Super::T% t) void
;
}
class Mixin extends core::Object {
synthetic constructor •() self::Mixin
;
method method(core::int t) void
;
}
class Class = self::Super<core::int> with self::Mixin {
synthetic constructor •() self::Class
: super self::Super::•()
;
forwarding-stub method method(covariant-by-class core::int t) void
return super.{self::Mixin::method}(t);
}
class Subclass extends self::Class {
synthetic constructor •() self::Subclass
;
method test() void
;
}
static method main() dynamic
;