blob: a15a8cc26068e581ed135256f312f12b7afa84d5 [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%>
: super core::Object::•()
;
method method(covariant-by-class 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 = 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
: super self::Class::•()
;
method test() void {
super.{self::Class::method}(0);
}
}
static method main() dynamic {}