blob: bd2219f9e5a6f9363a72da01621dcce43d187af8 [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
class A extends core::Object {
synthetic constructor •() self::A*
: super core::Object::•()
;
abstract member-signature get _identityHashCode() core::int*;
abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) core::bool*;
abstract member-signature method _simpleInstanceOf(dynamic type) core::bool*;
abstract member-signature method _simpleInstanceOfTrue(dynamic type) core::bool*;
abstract member-signature method _simpleInstanceOfFalse(dynamic type) core::bool*;
abstract member-signature operator ==(dynamic other) core::bool*;
abstract member-signature get hashCode() core::int*;
abstract member-signature method toString() core::String*;
abstract member-signature method noSuchMethod(core::Invocation* invocation) dynamic;
abstract member-signature get runtimeType() core::Type*;
}
class B extends self::A {
synthetic constructor •() self::B*
: super self::A::•()
;
operator +(self::B* b) self::A*
return new self::C::•();
}
class C extends self::A {
synthetic constructor •() self::C*
: super self::A::•()
;
}
static method main() dynamic {
core::Map<core::int*, self::B*>* map = <core::int*, self::B*>{0: new self::B::•()};
try {
let final core::Map<core::int*, self::B*>* #t1 = map in let final core::int* #t2 = 0 in #t1.{core::Map::[]=}(#t2, #t1.{core::Map::[]}(#t2).{self::B::+}(new self::B::•()) as{TypeError} self::B*);
throw "Expected type error";
}
on dynamic catch(final dynamic _) {
}
}