blob: 5862a145617a36036cdac9ce08771f09725a13d4 [file] [log] [blame]
library test;
import self as self;
import "dart:core" as core;
typedef F<contravariant T extends core::Object? = dynamic> = (T%) void;
class C<T extends core::Object? = dynamic> extends core::Object {
field (self::C::T%) void y = throw "";
synthetic constructor •() self::C<self::C::T%>
: super core::Object::•()
;
method f() void {
(self::C::T%) void x = this.{self::C::y}{(self::C::T%) void};
}
}
static method g(self::C<core::num> c) void {
(core::num) void x = c.{self::C::y}{(core::num) void} as{TypeError,CovarianceCheck} (core::num) void;
}
static method main() void {}