blob: 58d9b8fab7c9f187299ebb82436566fc4c9cfcf1 [file] [log] [blame]
library test;
import self as self;
import "dart:core" as core;
typedef F<T extends core::Object = dynamic> = (T) void;
class B<T extends core::Object = dynamic> extends core::Object {
synthetic constructor •() self::B<self::B::T>
;
method f((self::B::T) void x, core::int y) void
;
}
abstract class I<T extends core::Object = dynamic> extends core::Object {
synthetic constructor •() self::I<self::I::T>
;
abstract method f((self::I::T) void x, core::Object y) void;
}
abstract class C<T extends core::Object = dynamic> extends self::B<(self::C::T) void> implements self::I<(self::C::T) void> {
synthetic constructor •() self::C<self::C::T>
;
forwarding-stub method f(generic-covariant-impl ((self::C::T) void) void x, core::Object y) void
return super.{self::B::f}(x, y);
}
static method main() void
;