blob: d853a42fc4025bdbb157db342e86e742a2f61f0b [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
import "org-dartlang-testcase:///unsound_checks_lib.dart";
class OptOutClass1 extends core::Object {
synthetic constructor •() self::OptOutClass1*
;
abstract member-signature get _identityHashCode() core::int*; -> core::Object::_identityHashCode
abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) core::bool*; -> core::Object::_instanceOf
abstract member-signature method _simpleInstanceOf(dynamic type) core::bool*; -> core::Object::_simpleInstanceOf
abstract member-signature method _simpleInstanceOfTrue(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfTrue
abstract member-signature method _simpleInstanceOfFalse(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfFalse
abstract member-signature operator ==(dynamic other) core::bool*; -> core::Object::==
abstract member-signature get hashCode() core::int*; -> core::Object::hashCode
abstract member-signature method toString() core::String*; -> core::Object::toString
abstract member-signature method noSuchMethod(core::Invocation* invocation) dynamic; -> core::Object::noSuchMethod
abstract member-signature get runtimeType() core::Type*; -> core::Object::runtimeType
}
class OptOutClass2 extends core::Object {
synthetic constructor •() self::OptOutClass2*
;
operator [](core::int* index) core::int*
;
operator []=(core::int* index, core::int* value) void
;
abstract member-signature get _identityHashCode() core::int*; -> core::Object::_identityHashCode
abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) core::bool*; -> core::Object::_instanceOf
abstract member-signature method _simpleInstanceOf(dynamic type) core::bool*; -> core::Object::_simpleInstanceOf
abstract member-signature method _simpleInstanceOfTrue(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfTrue
abstract member-signature method _simpleInstanceOfFalse(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfFalse
abstract member-signature operator ==(dynamic other) core::bool*; -> core::Object::==
abstract member-signature get hashCode() core::int*; -> core::Object::hashCode
abstract member-signature method toString() core::String*; -> core::Object::toString
abstract member-signature method noSuchMethod(core::Invocation* invocation) dynamic; -> core::Object::noSuchMethod
abstract member-signature get runtimeType() core::Type*; -> core::Object::runtimeType
}
class OptOutClass3 extends core::Object {
field core::int* field;
constructor •(core::int* field) self::OptOutClass3*
;
abstract member-signature get _identityHashCode() core::int*; -> core::Object::_identityHashCode
abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) core::bool*; -> core::Object::_instanceOf
abstract member-signature method _simpleInstanceOf(dynamic type) core::bool*; -> core::Object::_simpleInstanceOf
abstract member-signature method _simpleInstanceOfTrue(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfTrue
abstract member-signature method _simpleInstanceOfFalse(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfFalse
abstract member-signature operator ==(dynamic other) core::bool*; -> core::Object::==
abstract member-signature get hashCode() core::int*; -> core::Object::hashCode
abstract member-signature method toString() core::String*; -> core::Object::toString
abstract member-signature method noSuchMethod(core::Invocation* invocation) dynamic; -> core::Object::noSuchMethod
abstract member-signature get runtimeType() core::Type*; -> core::Object::runtimeType
}
class OptOutSuperClass4 extends core::Object {
synthetic constructor •() self::OptOutSuperClass4*
;
operator [](core::int* index) core::int*
;
operator []=(core::int* index, core::int* value) void
;
abstract member-signature get _identityHashCode() core::int*; -> core::Object::_identityHashCode
abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) core::bool*; -> core::Object::_instanceOf
abstract member-signature method _simpleInstanceOf(dynamic type) core::bool*; -> core::Object::_simpleInstanceOf
abstract member-signature method _simpleInstanceOfTrue(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfTrue
abstract member-signature method _simpleInstanceOfFalse(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfFalse
abstract member-signature operator ==(dynamic other) core::bool*; -> core::Object::==
abstract member-signature get hashCode() core::int*; -> core::Object::hashCode
abstract member-signature method toString() core::String*; -> core::Object::toString
abstract member-signature method noSuchMethod(core::Invocation* invocation) dynamic; -> core::Object::noSuchMethod
abstract member-signature get runtimeType() core::Type*; -> core::Object::runtimeType
}
class OptOutClass4 extends self::OptOutSuperClass4 {
synthetic constructor •() self::OptOutClass4*
;
method method(core::int* i) dynamic
;
method methodForEffect(core::int* i) dynamic
;
}
class OptOutClass5 extends core::Object {
field core::int* field;
constructor •(core::int* field) self::OptOutClass5*
;
abstract member-signature get _identityHashCode() core::int*; -> core::Object::_identityHashCode
abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) core::bool*; -> core::Object::_instanceOf
abstract member-signature method _simpleInstanceOf(dynamic type) core::bool*; -> core::Object::_simpleInstanceOf
abstract member-signature method _simpleInstanceOfTrue(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfTrue
abstract member-signature method _simpleInstanceOfFalse(dynamic type) core::bool*; -> core::Object::_simpleInstanceOfFalse
abstract member-signature operator ==(dynamic other) core::bool*; -> core::Object::==
abstract member-signature get hashCode() core::int*; -> core::Object::hashCode
abstract member-signature method toString() core::String*; -> core::Object::toString
abstract member-signature method noSuchMethod(core::Invocation* invocation) dynamic; -> core::Object::noSuchMethod
abstract member-signature get runtimeType() core::Type*; -> core::Object::runtimeType
}
extension OptOutExtension on self::OptOutClass1* {
operator [] = self::OptOutExtension|[];
operator []= = self::OptOutExtension|[]=;
}
static method isNullOptOut1(core::int* i) dynamic
;
static method isNotNullOptOut1(core::int* i) dynamic
;
static method isNullOptOut2(core::int* i) dynamic
;
static method isNotNullOptOut2(core::int* i) dynamic
;
static method ifNullOptOut(core::int* i) dynamic
;
static method OptOutExtension|[](lowered final self::OptOutClass1* #this, core::int* index) → core::int*
;
static method OptOutExtension|[]=(lowered final self::OptOutClass1* #this, core::int* index, core::int* value) → void
;
static method extensionIfNullOptOut1(core::int* i) dynamic
;
static method extensionIfNullOptOut1ForEffect(core::int* i) dynamic
;
static method extensionIfNullOptOut2(core::int* i) dynamic
;
static method extensionIfNullOptOut2ForEffect(core::int* i) dynamic
;
static method ifNullIndexSetOptOut(core::int* i) dynamic
;
static method ifNullIndexSetOptOutForEffect(core::int* i) dynamic
;
static method ifNullPropertySetOptOut(core::int* i) dynamic
;
static method ifNullPropertySetOptOutForEffect(core::int* i) dynamic
;
static method ifNullSetOptOut(core::int* i) dynamic
;
static method ifNullSetOptOutForEffect(core::int* i) dynamic
;
static method ifNullSuperIndexSetOptOut(core::int* i) dynamic
;
static method ifNullSuperIndexSetOptOutForEffect(core::int* i) dynamic
;
static method nullAwareIfNullSetOptOut(core::int* i) dynamic
;
static method nullAwareIfNullSetOptOutForEffect(core::int* i) dynamic
;
static method isTestOptOut(core::int* i) dynamic
;
static method isNotTestOptOut(core::int* i) dynamic
;
static method main() dynamic
;
static method expect(dynamic expected, dynamic actual) dynamic
;
static method throws(() →* void f, [(core::Object*) →* core::bool* testException]) dynamic
;
library /*isNonNullableByDefault*/;
import self as self2;
import "dart:core" as core;
class OptInClass1 extends core::Object {
synthetic constructor •() self2::OptInClass1
;
}
class OptInClass2 extends core::Object {
synthetic constructor •() self2::OptInClass2
;
operator [](core::int index) core::int
;
operator []=(core::int index, core::int value) void
;
}
class OptInClass3 extends core::Object {
field core::int field;
constructor •(core::int field) self2::OptInClass3
;
}
class OptInSuperClass4 extends core::Object {
synthetic constructor •() self2::OptInSuperClass4
;
operator [](core::int index) core::int
;
operator []=(core::int index, core::int value) void
;
}
class OptInClass4 extends self2::OptInSuperClass4 {
synthetic constructor •() self2::OptInClass4
;
method method(core::int i) dynamic
;
method methodForEffect(core::int i) dynamic
;
}
class OptInClass5 extends core::Object {
field core::int field;
constructor •(core::int field) self2::OptInClass5
;
}
class OptInClass6a extends core::Object {
final field self2::OptInClass6b cls;
constructor •(self2::OptInClass6b cls) self2::OptInClass6a
;
}
class OptInClass6b extends core::Object {
final field core::int field;
constructor •(core::int field) self2::OptInClass6b
;
}
class E extends core::Object /*isEnum*/ {
final field core::int index;
final field core::String _name;
static const field core::List<self2::E> values = const <self2::E>[self2::E::e1, self2::E::e2];
static const field self2::E e1 = const self2::E::•(0, "E.e1");
static const field self2::E e2 = const self2::E::•(1, "E.e2");
const constructor •(core::int index, core::String _name) self2::E
: self2::E::index = index, self2::E::_name = _name, super core::Object::•()
;
method toString() core::String
return this.{self2::E::_name}{core::String};
}
extension OptInExtension on self2::OptInClass1 {
operator [] = self2::OptInExtension|[];
operator []= = self2::OptInExtension|[]=;
}
static method isNullOptIn1(core::int i) dynamic
;
static method isNotNullOptIn1(core::int i) dynamic
;
static method isNullOptIn2(core::int i) dynamic
;
static method isNotNullOptIn2(core::int i) dynamic
;
static method ifNullOptIn(core::int i) dynamic
;
static method OptInExtension|[](lowered final self2::OptInClass1 #this, core::int index) → core::int
;
static method OptInExtension|[]=(lowered final self2::OptInClass1 #this, core::int index, core::int value) → void
;
static method extensionIfNullOptIn1(core::int i) dynamic
;
static method extensionIfNullOptIn1ForEffect(core::int i) dynamic
;
static method extensionIfNullOptIn2(core::int i) dynamic
;
static method extensionIfNullOptIn2ForEffect(core::int i) dynamic
;
static method ifNullIndexSetOptIn(core::int i) dynamic
;
static method ifNullIndexSetOptInForEffect(core::int i) dynamic
;
static method ifNullPropertySetOptIn(core::int i) dynamic
;
static method ifNullPropertySetOptInForEffect(core::int i) dynamic
;
static method ifNullSetOptIn(core::int i) dynamic
;
static method ifNullSetOptInForEffect(core::int i) dynamic
;
static method ifNullSuperIndexSetOptIn(core::int i) dynamic
;
static method ifNullSuperIndexSetOptInForEffect(core::int i) dynamic
;
static method nullAwareIfNullSetOptIn(core::int i) dynamic
;
static method nullAwareIfNullSetOptInForEffect(core::int i) dynamic
;
static method isTestOptIn(core::int i) dynamic
;
static method isNotTestOptIn(core::int i) dynamic
;
static method nullAwareAccess1(core::int i) dynamic
;
static method nullAwareAccessForEffect1(core::int i) dynamic
;
static method promotionToNever(core::int i) dynamic
;
static method unnecessaryNullCheck(() core::int f) dynamic
;
static method unnecessaryIfNull(() core::int f, () core::int g) dynamic
;
static method unnecessaryIfNullAssign(core::List<core::int> x, () core::int f) dynamic
;
static method unnecessaryNullAwareAccess(() core::int f) dynamic
;
static method callReturningNever(() Never f) dynamic
;
static method switchOnEnum(self2::E e) dynamic
;
static method switchOnEnumWithBreak(self2::E e) dynamic
;
static method switchOnEnumWithFallThrough1(self2::E e) dynamic
;
static method switchOnEnumWithFallThrough2(self2::E e) dynamic
;
static method handleThrow() dynamic
;
static method handleRethrow() dynamic
;
static method handleInvalid(dynamic d) dynamic
;
Extra constant evaluation status:
Evaluated: ListLiteral @ org-dartlang-testcase:///unsound_checks_lib.dart:145:6 -> ListConstant(const <E*>[const E{E.index: 0, E._name: "E.e1"}, const E{E.index: 1, E._name: "E.e2"}])
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///unsound_checks_lib.dart:145:10 -> InstanceConstant(const E{E.index: 0, E._name: "E.e1"})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///unsound_checks_lib.dart:145:14 -> InstanceConstant(const E{E.index: 1, E._name: "E.e2"})
Extra constant evaluation: evaluated: 7, effectively constant: 3