blob: 5236cd2d43be4cff5fc2011e175c5c4a89665871 [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 extends self::Super<core::int> implements self::Mixin /*isEliminatedMixin*/ {
synthetic constructor •() self::Class
: super self::Super::•()
;
method method(covariant-by-class 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 {}