blob: 74cbfa4d3f6e52e771ff7e1a00ef1d8b8dc438ff [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
class A extends core::Object {
field core::int field;
synthetic constructor •() self::A
;
method method() core::int
;
get getter() core::int
;
set setter(core::int value) void
;
}
class B extends self::A {
synthetic constructor •() self::B
;
}
extension type E(self::B it) implements self::B {
abstract extension-type-member representation-field get it() self::B;
constructor = self::E|constructor#;
constructor tearoff = self::E|constructor#_#new#tearOff;
}
extension type F(self::B it) implements self::E /* erasure=self::B */ {
abstract extension-type-member representation-field get it() self::B;
constructor = self::F|constructor#;
constructor tearoff = self::F|constructor#_#new#tearOff;
}
static extension-type-member method E|constructor#(self::B it) → self::E /* erasure=self::B */
;
static extension-type-member method E|constructor#_#new#tearOff(self::B it) → self::E /* erasure=self::B */
return self::E|constructor#(it);
static extension-type-member method F|constructor#(self::B it) → self::F /* erasure=self::B */
;
static extension-type-member method F|constructor#_#new#tearOff(self::B it) → self::F /* erasure=self::B */
return self::F|constructor#(it);
static method main() dynamic
;
static method expect(dynamic expected, dynamic actual) dynamic
;