blob: 984d13b2526891ad01ec738e29725f43911e6bdb [file] [log] [blame]
library;
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 {}
}
abstract class Mixin extends core::Object /*isMixinDeclaration*/ {
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 {}