blob: b230567d4ef4f413a1d331d6c34bc8fc75053d6d [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
class A<T extends core::Object? = dynamic> extends core::Object {
field (self::A::T%) void f;
constructor •((self::A::T%) void f) self::A<self::A::T%>
: self::A::f = f, super core::Object::•()
;
method foo(covariant-by-class self::A::T% x) dynamic
return let final self::A::T% #t1 = x in this.{self::A::f}(#t1){(self::A::T%) → void};
}
static method main() dynamic {
new self::A::•<core::int>((core::int x) void {}).{self::A::foo}(3){(core::int) dynamic};
}