blob: f635ea8a0736d7f97ea6d89c000a8033c8bb4be6 [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
import "unsound_checks_lib.dart" as uns;
import "org-dartlang-testcase:///unsound_checks_lib.dart";
class OptOutClass1 extends core::Object {
synthetic constructor •() self::OptOutClass1*
: super core::Object::•()
;
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*
: super core::Object::•()
;
operator [](core::int* index) core::int*
return index;
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*
: self::OptOutClass3::field = field, super core::Object::•()
;
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*
: super core::Object::•()
;
operator [](core::int* index) core::int*
return index;
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*
: super self::OptOutSuperClass4::•()
;
method method(core::int* i) dynamic
return let final core::int* #t1 = i in let final core::int* #t2 = super.{self::OptOutSuperClass4::[]}(#t1) in #t2 == null ?{core::int*} let final core::int* #t3 = 42 in let final void #t4 = super.{self::OptOutSuperClass4::[]=}(#t1, #t3) in #t3 : #t2;
method methodForEffect(core::int* i) dynamic {
let final core::int* #t5 = i in super.{self::OptOutSuperClass4::[]}(#t5) == null ?{core::int*} super.{self::OptOutSuperClass4::[]=}(#t5, 42) : null;
}
}
class OptOutClass5 extends core::Object {
field core::int* field;
constructor •(core::int* field) self::OptOutClass5*
: self::OptOutClass5::field = field, super core::Object::•()
;
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
return i == null;
static method isNotNullOptOut1(core::int* i) dynamic
return !(i == null);
static method isNullOptOut2(core::int* i) dynamic
return i == null;
static method isNotNullOptOut2(core::int* i) dynamic
return !(i == null);
static method ifNullOptOut(core::int* i) dynamic
return let final core::int* #t6 = i in #t6 == null ?{core::int*} 42 : #t6;
static method OptOutExtension|[](lowered final self::OptOutClass1* #this, core::int* index) → core::int*
return index;
static method OptOutExtension|[]=(lowered final self::OptOutClass1* #this, core::int* index, core::int* value) → void {}
static method extensionIfNullOptOut1(core::int* i) dynamic
return let final self::OptOutClass1* #t7 = new self::OptOutClass1::•() in let final core::int* #t8 = i in let final core::int* #t9 = self::OptOutExtension|[](#t7, #t8) in #t9 == null ?{core::int*} let final core::int* #t10 = 42 in let final void #t11 = self::OptOutExtension|[]=(#t7, #t8, #t10) in #t10 : #t9;
static method extensionIfNullOptOut1ForEffect(core::int* i) dynamic {
let final self::OptOutClass1* #t12 = new self::OptOutClass1::•() in let final core::int* #t13 = i in self::OptOutExtension|[](#t12, #t13) == null ?{core::int*} self::OptOutExtension|[]=(#t12, #t13, 42) : null;
}
static method extensionIfNullOptOut2(core::int* i) dynamic
return let final self::OptOutClass1* #t14 = new self::OptOutClass1::•() in let final core::int* #t15 = i in let final core::int* #t16 = self::OptOutExtension|[](#t14, #t15) in #t16 == null ?{core::int*} let final core::int* #t17 = 42 in let final void #t18 = self::OptOutExtension|[]=(#t14, #t15, #t17) in #t17 : #t16;
static method extensionIfNullOptOut2ForEffect(core::int* i) dynamic {
let final self::OptOutClass1* #t19 = new self::OptOutClass1::•() in let final core::int* #t20 = i in self::OptOutExtension|[](#t19, #t20) == null ?{core::int*} self::OptOutExtension|[]=(#t19, #t20, 42) : null;
}
static method ifNullIndexSetOptOut(core::int* i) dynamic
return let final self::OptOutClass2* #t21 = new self::OptOutClass2::•() in let final core::int* #t22 = i in let final core::int* #t23 = #t21.{self::OptOutClass2::[]}(#t22){(core::int*) →* core::int*} in #t23 == null ?{core::int*} let final core::int* #t24 = 42 in let final void #t25 = #t21.{self::OptOutClass2::[]=}(#t22, #t24){(core::int*, core::int*) →* void} in #t24 : #t23;
static method ifNullIndexSetOptOutForEffect(core::int* i) dynamic {
let final self::OptOutClass2* #t26 = new self::OptOutClass2::•() in let final core::int* #t27 = i in #t26.{self::OptOutClass2::[]}(#t27){(core::int*) →* core::int*} == null ?{core::int*} #t26.{self::OptOutClass2::[]=}(#t27, 42){(core::int*, core::int*) →* void} : null;
}
static method ifNullPropertySetOptOut(core::int* i) dynamic
return let final self::OptOutClass3* #t28 = new self::OptOutClass3::•(i) in let final core::int* #t29 = #t28.{self::OptOutClass3::field}{core::int*} in #t29 == null ?{core::int*} #t28.{self::OptOutClass3::field} = 42 : #t29;
static method ifNullPropertySetOptOutForEffect(core::int* i) dynamic {
let final self::OptOutClass3* #t30 = new self::OptOutClass3::•(i) in #t30.{self::OptOutClass3::field}{core::int*} == null ?{core::int*} #t30.{self::OptOutClass3::field} = 42 : null;
}
static method ifNullSetOptOut(core::int* i) dynamic
return let final core::int* #t31 = i in #t31 == null ?{core::int*} i = 42 : #t31;
static method ifNullSetOptOutForEffect(core::int* i) dynamic {
i == null ?{core::int*} i = 42 : null;
}
static method ifNullSuperIndexSetOptOut(core::int* i) dynamic
return new self::OptOutClass4::•().{self::OptOutClass4::method}(i){(core::int*) →* dynamic};
static method ifNullSuperIndexSetOptOutForEffect(core::int* i) dynamic {
new self::OptOutClass4::•().{self::OptOutClass4::methodForEffect}(i){(core::int*) →* dynamic};
}
static method nullAwareIfNullSetOptOut(core::int* i) dynamic {
self::OptOutClass5* o = new self::OptOutClass5::•(i);
return let final self::OptOutClass5* #t32 = o in #t32 == null ?{core::int*} null : let final core::int* #t33 = #t32.{self::OptOutClass5::field}{core::int*} in #t33 == null ?{core::int*} #t32.{self::OptOutClass5::field} = 42 : #t33;
}
static method nullAwareIfNullSetOptOutForEffect(core::int* i) dynamic {
self::OptOutClass5* o = new self::OptOutClass5::•(i);
let final self::OptOutClass5* #t34 = o in #t34 == null ?{core::int*} null : #t34.{self::OptOutClass5::field}{core::int*} == null ?{core::int*} #t34.{self::OptOutClass5::field} = 42 : null;
}
static method isTestOptOut(core::int* i) dynamic
return i is core::int*;
static method isNotTestOptOut(core::int* i) dynamic
return !(i is core::int*);
static method main() dynamic {
self::expect(false, uns::isNullOptIn1(0));
self::expect(false, self::isNullOptOut1(0));
self::expect(true, uns::isNullOptIn1(null));
self::expect(true, self::isNullOptOut1(null));
self::expect(true, uns::isNotNullOptIn1(0));
self::expect(true, self::isNotNullOptOut1(0));
self::expect(false, uns::isNotNullOptIn1(null));
self::expect(false, self::isNotNullOptOut1(null));
self::expect(false, uns::isNullOptIn2(0));
self::expect(false, self::isNullOptOut2(0));
self::expect(true, uns::isNullOptIn2(null));
self::expect(true, self::isNullOptOut2(null));
self::expect(true, uns::isNotNullOptIn2(0));
self::expect(true, self::isNotNullOptOut2(0));
self::expect(false, uns::isNotNullOptIn2(null));
self::expect(false, self::isNotNullOptOut2(null));
self::expect(0, uns::ifNullOptIn(0));
self::expect(0, self::ifNullOptOut(0));
self::expect(42, uns::ifNullOptIn(null));
self::expect(42, self::ifNullOptOut(null));
self::expect(0, uns::extensionIfNullOptIn1(0));
self::expect(0, self::extensionIfNullOptOut1(0));
self::expect(42, uns::extensionIfNullOptIn1(null));
self::expect(42, self::extensionIfNullOptOut1(null));
uns::extensionIfNullOptIn1ForEffect(0);
self::extensionIfNullOptOut1ForEffect(0);
uns::extensionIfNullOptIn1ForEffect(null);
self::extensionIfNullOptOut1ForEffect(null);
self::expect(0, uns::extensionIfNullOptIn2(0));
self::expect(0, self::extensionIfNullOptOut2(0));
self::expect(42, uns::extensionIfNullOptIn2(null));
self::expect(42, self::extensionIfNullOptOut2(null));
uns::extensionIfNullOptIn2ForEffect(0);
self::extensionIfNullOptOut2ForEffect(0);
uns::extensionIfNullOptIn2ForEffect(null);
self::extensionIfNullOptOut2ForEffect(null);
self::expect(0, uns::ifNullIndexSetOptIn(0));
self::expect(0, self::ifNullIndexSetOptOut(0));
self::expect(42, uns::ifNullIndexSetOptIn(null));
self::expect(42, self::ifNullIndexSetOptOut(null));
uns::ifNullIndexSetOptInForEffect(0);
self::ifNullIndexSetOptOutForEffect(0);
uns::ifNullIndexSetOptInForEffect(null);
self::ifNullIndexSetOptOutForEffect(null);
self::expect(0, uns::ifNullPropertySetOptIn(0));
self::expect(0, self::ifNullPropertySetOptOut(0));
self::expect(42, uns::ifNullPropertySetOptIn(null));
self::expect(42, self::ifNullPropertySetOptOut(null));
uns::ifNullPropertySetOptInForEffect(0);
self::ifNullPropertySetOptOutForEffect(0);
uns::ifNullPropertySetOptInForEffect(null);
self::ifNullPropertySetOptOutForEffect(null);
self::expect(0, uns::ifNullSetOptIn(0));
self::expect(0, self::ifNullSetOptOut(0));
self::expect(42, uns::ifNullSetOptIn(null));
self::expect(42, self::ifNullSetOptOut(null));
uns::ifNullSetOptInForEffect(0);
self::ifNullSetOptOutForEffect(0);
uns::ifNullSetOptInForEffect(null);
self::ifNullSetOptOutForEffect(null);
self::expect(0, uns::ifNullSuperIndexSetOptIn(0));
self::expect(0, self::ifNullSuperIndexSetOptOut(0));
self::expect(42, uns::ifNullSuperIndexSetOptIn(null));
self::expect(42, self::ifNullSuperIndexSetOptOut(null));
uns::ifNullSuperIndexSetOptInForEffect(0);
self::ifNullSuperIndexSetOptOutForEffect(0);
uns::ifNullSuperIndexSetOptInForEffect(null);
self::ifNullSuperIndexSetOptOutForEffect(null);
self::expect(0, uns::nullAwareIfNullSetOptIn(0));
self::expect(0, self::nullAwareIfNullSetOptOut(0));
self::expect(42, uns::nullAwareIfNullSetOptIn(null));
self::expect(42, self::nullAwareIfNullSetOptOut(null));
uns::nullAwareIfNullSetOptInForEffect(0);
self::nullAwareIfNullSetOptOutForEffect(0);
uns::nullAwareIfNullSetOptInForEffect(null);
self::nullAwareIfNullSetOptOutForEffect(null);
self::expect(true, uns::isTestOptIn(0));
self::expect(true, self::isTestOptOut(0));
self::expect(false, uns::isTestOptIn(null));
self::expect(false, self::isTestOptOut(null));
self::expect(false, uns::isNotTestOptIn(0));
self::expect(false, self::isNotTestOptOut(0));
self::expect(true, uns::isNotTestOptIn(null));
self::expect(true, self::isNotTestOptOut(null));
self::expect(true, uns::nullAwareAccess1(0));
self::expect(null, uns::nullAwareAccess1(null));
uns::promotionToNever(0);
uns::promotionToNever(null);
uns::unnecessaryNullCheck(() core::int* => 0);
uns::unnecessaryNullCheck(() Null => null);
self::expect(0, uns::unnecessaryIfNull(() core::int* => 0, () core::int* => 42));
self::expect(42, uns::unnecessaryIfNull(() Null => null, () core::int* => 42));
uns::unnecessaryIfNullAssign(core::_GrowableList::_literal1<core::int*>(0), () core::int* => 42);
uns::unnecessaryIfNullAssign(core::_GrowableList::_literal1<core::int*>(null), () core::int* => 42);
uns::unnecessaryNullAwareAccess(() core::int* => 0);
uns::unnecessaryNullAwareAccess(() Null => null);
self::throws(() dynamic => uns::callReturningNever(() Null => throw "foo"), (core::Object* e) core::bool* => e =={core::Object::==}{(core::Object*) →* core::bool*} "foo");
() →* Null f = () Null => null;
self::throws(() dynamic => uns::callReturningNever(f));
uns::switchOnEnum(#C3);
uns::switchOnEnum(#C6);
self::throws(() dynamic => uns::switchOnEnum(null));
uns::switchOnEnumWithBreak(#C3);
uns::switchOnEnumWithBreak(#C6);
self::throws(() dynamic => uns::switchOnEnumWithBreak(null));
uns::switchOnEnumWithFallThrough1(#C3);
uns::switchOnEnumWithFallThrough1(#C6);
self::throws(() dynamic => uns::switchOnEnumWithFallThrough1(null));
uns::switchOnEnumWithFallThrough2(#C3);
uns::switchOnEnumWithFallThrough2(#C6);
self::throws(() dynamic => uns::switchOnEnumWithFallThrough2(null));
}
static method expect(dynamic expected, dynamic actual) dynamic {
if(!(expected =={core::Object::==}{(core::Object*) →* core::bool*} actual))
throw "Expected ${expected}, actual ${actual}";
}
static method throws(() →* void f, [(core::Object*) →* core::bool* testException = #C7]) → dynamic {
try {
f(){() →* void};
}
on dynamic catch(final dynamic e) {
if(!(testException == null) && !testException(e){(core::Object*) →* core::bool*}) {
throw "Unexpected exception: ${e}";
}
core::print(e);
return;
}
throw "Missing exception.";
}
library /*isNonNullableByDefault*/;
//
// Problems in library:
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:13:23: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
// ifNullOptIn(int i) => i ?? 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:22:66: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// extensionIfNullOptIn1(int i) => OptInExtension(new OptInClass1())[i] ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:25:36: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// OptInExtension(new OptInClass1())[i] ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:28:50: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// extensionIfNullOptIn2(int i) => new OptInClass1()[i] ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:31:20: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// new OptInClass1()[i] ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:39:48: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// ifNullIndexSetOptIn(int i) => new OptInClass2()[i] ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:42:20: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// new OptInClass2()[i] ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:51:53: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// ifNullPropertySetOptIn(int i) => new OptInClass3(i).field ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:54:22: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// new OptInClass3(i).field ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:57:26: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// ifNullSetOptIn(int i) => i ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:60:3: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// i ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:69:25: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// method(int i) => super[i] ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:71:10: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// super[i] ??= 42;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:113:28: Warning: Operand of null-aware operation '?.' has type 'int' which excludes null.
// nullAwareAccess1(int i) => i?.isEven;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:116:3: Warning: Operand of null-aware operation '?.' has type 'int' which excludes null.
// i?.isEven;
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:128:11: Warning: Operand of null-aware operation '??' has type 'int' which excludes null.
// return f() ??
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:134:4: Warning: Operand of null-aware operation '??=' has type 'int' which excludes null.
// x[0] ??= f();
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:138:4: Warning: Operand of null-aware operation '?.' has type 'int' which excludes null.
// f()?.gcd(0); // Should not throw if `f` returns null
// ^
//
// pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:195:10: Error: Not enough type information to disambiguate between literal set and literal map.
// Try providing type arguments for the literal explicitly to disambiguate it.
// return {...d}; // Should not throw ReachabilityError.
// ^
//
import self as uns;
import "dart:core" as core;
import "dart:_internal" as _in;
class OptInClass1 extends core::Object {
synthetic constructor •() uns::OptInClass1
: super core::Object::•()
;
}
class OptInClass2 extends core::Object {
synthetic constructor •() uns::OptInClass2
: super core::Object::•()
;
operator [](core::int index) core::int
return index;
operator []=(core::int index, core::int value) void {}
}
class OptInClass3 extends core::Object {
field core::int field;
constructor •(core::int field) uns::OptInClass3
: uns::OptInClass3::field = field, super core::Object::•()
;
}
class OptInSuperClass4 extends core::Object {
synthetic constructor •() uns::OptInSuperClass4
: super core::Object::•()
;
operator [](core::int index) core::int
return index;
operator []=(core::int index, core::int value) void {}
}
class OptInClass4 extends uns::OptInSuperClass4 {
synthetic constructor •() uns::OptInClass4
: super uns::OptInSuperClass4::•()
;
method method(core::int i) dynamic
return let final core::int #t35 = i in let final core::int #t36 = super.{uns::OptInSuperClass4::[]}(#t35) in #t36 == null ?{core::int} let final core::int #t37 = 42 in let final void #t38 = super.{uns::OptInSuperClass4::[]=}(#t35, #t37) in #t37 : #t36;
method methodForEffect(core::int i) dynamic {
let final core::int #t39 = i in super.{uns::OptInSuperClass4::[]}(#t39) == null ?{core::int} super.{uns::OptInSuperClass4::[]=}(#t39, 42) : null;
}
}
class OptInClass5 extends core::Object {
field core::int field;
constructor •(core::int field) uns::OptInClass5
: uns::OptInClass5::field = field, super core::Object::•()
;
}
class OptInClass6a extends core::Object {
final field uns::OptInClass6b cls;
constructor •(uns::OptInClass6b cls) uns::OptInClass6a
: uns::OptInClass6a::cls = cls, super core::Object::•()
;
}
class OptInClass6b extends core::Object {
final field core::int field;
constructor •(core::int field) uns::OptInClass6b
: uns::OptInClass6b::field = field, super core::Object::•()
;
}
class E extends core::Object /*isEnum*/ {
final field core::int index;
final field core::String _name;
static const field core::List<uns::E> values = #C8;
static const field uns::E e1 = #C3;
static const field uns::E e2 = #C6;
const constructor •(core::int index, core::String _name) uns::E
: uns::E::index = index, uns::E::_name = _name, super core::Object::•()
;
method toString() core::String
return this.{uns::E::_name}{core::String};
}
extension OptInExtension on uns::OptInClass1 {
operator [] = uns::OptInExtension|[];
operator []= = uns::OptInExtension|[]=;
}
static method isNullOptIn1(core::int i) dynamic
return i == null;
static method isNotNullOptIn1(core::int i) dynamic
return !(i == null);
static method isNullOptIn2(core::int i) dynamic
return i == null;
static method isNotNullOptIn2(core::int i) dynamic
return !(i == null);
static method ifNullOptIn(core::int i) dynamic
return let final core::int #t40 = i in #t40 == null ?{core::int} 42 : #t40;
static method OptInExtension|[](lowered final uns::OptInClass1 #this, core::int index) → core::int
return index;
static method OptInExtension|[]=(lowered final uns::OptInClass1 #this, core::int index, core::int value) → void {}
static method extensionIfNullOptIn1(core::int i) dynamic
return let final uns::OptInClass1 #t41 = new uns::OptInClass1::•() in let final core::int #t42 = i in let final core::int #t43 = uns::OptInExtension|[](#t41, #t42) in #t43 == null ?{core::int} let final core::int #t44 = 42 in let final void #t45 = uns::OptInExtension|[]=(#t41, #t42, #t44) in #t44 : #t43;
static method extensionIfNullOptIn1ForEffect(core::int i) dynamic {
let final uns::OptInClass1 #t46 = new uns::OptInClass1::•() in let final core::int #t47 = i in uns::OptInExtension|[](#t46, #t47) == null ?{core::int} uns::OptInExtension|[]=(#t46, #t47, 42) : null;
}
static method extensionIfNullOptIn2(core::int i) dynamic
return let final uns::OptInClass1 #t48 = new uns::OptInClass1::•() in let final core::int #t49 = i in let final core::int #t50 = uns::OptInExtension|[](#t48, #t49) in #t50 == null ?{core::int} let final core::int #t51 = 42 in let final void #t52 = uns::OptInExtension|[]=(#t48, #t49, #t51) in #t51 : #t50;
static method extensionIfNullOptIn2ForEffect(core::int i) dynamic {
let final uns::OptInClass1 #t53 = new uns::OptInClass1::•() in let final core::int #t54 = i in uns::OptInExtension|[](#t53, #t54) == null ?{core::int} uns::OptInExtension|[]=(#t53, #t54, 42) : null;
}
static method ifNullIndexSetOptIn(core::int i) dynamic
return let final uns::OptInClass2 #t55 = new uns::OptInClass2::•() in let final core::int #t56 = i in let final core::int #t57 = #t55.{uns::OptInClass2::[]}(#t56){(core::int) → core::int} in #t57 == null ?{core::int} let final core::int #t58 = 42 in let final void #t59 = #t55.{uns::OptInClass2::[]=}(#t56, #t58){(core::int, core::int) → void} in #t58 : #t57;
static method ifNullIndexSetOptInForEffect(core::int i) dynamic {
let final uns::OptInClass2 #t60 = new uns::OptInClass2::•() in let final core::int #t61 = i in #t60.{uns::OptInClass2::[]}(#t61){(core::int) → core::int} == null ?{core::int} #t60.{uns::OptInClass2::[]=}(#t61, 42){(core::int, core::int) → void} : null;
}
static method ifNullPropertySetOptIn(core::int i) dynamic
return let final uns::OptInClass3 #t62 = new uns::OptInClass3::•(i) in let final core::int #t63 = #t62.{uns::OptInClass3::field}{core::int} in #t63 == null ?{core::int} #t62.{uns::OptInClass3::field} = 42 : #t63;
static method ifNullPropertySetOptInForEffect(core::int i) dynamic {
let final uns::OptInClass3 #t64 = new uns::OptInClass3::•(i) in #t64.{uns::OptInClass3::field}{core::int} == null ?{core::int} #t64.{uns::OptInClass3::field} = 42 : null;
}
static method ifNullSetOptIn(core::int i) dynamic
return let final core::int #t65 = i in #t65 == null ?{core::int} i = 42 : #t65;
static method ifNullSetOptInForEffect(core::int i) dynamic {
i == null ?{core::int} i = 42 : null;
}
static method ifNullSuperIndexSetOptIn(core::int i) dynamic
return new uns::OptInClass4::•().{uns::OptInClass4::method}(i){(core::int) dynamic};
static method ifNullSuperIndexSetOptInForEffect(core::int i) dynamic {
new uns::OptInClass4::•().{uns::OptInClass4::methodForEffect}(i){(core::int) dynamic};
}
static method nullAwareIfNullSetOptIn(core::int i) dynamic {
uns::OptInClass5? o = new uns::OptInClass5::•(i);
return let final uns::OptInClass5? #t66 = o in #t66 == null ?{core::int?} null : let final core::int #t67 = #t66.{uns::OptInClass5::field}{core::int} in #t67 == null ?{core::int} #t66.{uns::OptInClass5::field} = 42 : #t67;
}
static method nullAwareIfNullSetOptInForEffect(core::int i) dynamic {
uns::OptInClass5? o = new uns::OptInClass5::•(i);
let final uns::OptInClass5? #t68 = o in #t68 == null ?{core::int?} null : #t68.{uns::OptInClass5::field}{core::int} == null ?{core::int} #t68.{uns::OptInClass5::field} = 42 : null;
}
static method isTestOptIn(core::int i) dynamic
return i is{ForNonNullableByDefault} core::int;
static method isNotTestOptIn(core::int i) dynamic
return !(i is{ForNonNullableByDefault} core::int);
static method nullAwareAccess1(core::int i) dynamic
return let final core::int #t69 = i in #t69 == null ?{core::bool?} null : #t69.{core::int::isEven}{core::bool};
static method nullAwareAccessForEffect1(core::int i) dynamic {
let final core::int #t70 = i in #t70 == null ?{core::bool?} null : #t70.{core::int::isEven}{core::bool};
}
static method promotionToNever(core::int i) dynamic {
if(i is{ForNonNullableByDefault} core::int)
return;
}
static method unnecessaryNullCheck(() core::int f) dynamic {
if(!(f(){() core::int} == null))
return;
}
static method unnecessaryIfNull(() core::int f, () core::int g) dynamic {
return let final core::int #t71 = f(){() → core::int} in #t71 == null ?{core::int} g(){() → core::int} : #t71;
}
static method unnecessaryIfNullAssign(core::List<core::int> x, () core::int f) dynamic {
let final core::List<core::int> #t72 = x in let final core::int #t73 = 0 in #t72.{core::List::[]}(#t73){(core::int) → core::int} == null ?{core::int} #t72.{core::List::[]=}(#t73, f(){() → core::int}){(core::int, core::int) → void} : null;
}
static method unnecessaryNullAwareAccess(() core::int f) dynamic {
let final core::int #t74 = f(){() → core::int} in #t74 == null ?{core::int?} null : #t74.{core::int::gcd}(0){(core::int) → core::int};
}
static method callReturningNever(() Never f) dynamic {
let final Never #t75 = f(){() → Never} in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.");
}
static method switchOnEnum(uns::E e) dynamic {
switch(e) {
#L1:
case #C3:
{
return;
}
#L2:
case #C6:
{
return;
}
#L3:
default:
throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
}
}
static method switchOnEnumWithBreak(uns::E e) dynamic {
#L4:
switch(e) {
#L5:
case #C3:
{
break #L4;
}
#L6:
case #C6:
{
break #L4;
}
#L7:
default:
throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
}
}
static method switchOnEnumWithFallThrough1(uns::E e) dynamic {
#L8:
switch(e) {
#L9:
case #C3:
{
break #L8;
}
#L10:
case #C6:
{
break #L8;
}
#L11:
default:
throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
}
}
static method switchOnEnumWithFallThrough2(uns::E e) dynamic {
#L12:
switch(e) {
#L13:
case #C3:
case #C6:
{
break #L12;
}
#L14:
default:
throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable enum type.");
}
}
static method handleThrow() dynamic {
throw "";
}
static method handleRethrow() dynamic {
try {
uns::handleThrow();
}
on core::Object catch(final core::Object _) {
rethrow;
}
}
static method handleInvalid(dynamic d) dynamic {
return invalid-expression "pkg/front_end/testcases/nnbd_mixed/unsound_checks_lib.dart:195:10: Error: Not enough type information to disambiguate between literal set and literal map.
Try providing type arguments for the literal explicitly to disambiguate it.
return {...d}; // Should not throw ReachabilityError.
^";
}
constants {
#C1 = 0
#C2 = "E.e1"
#C3 = uns::E {index:#C1, _name:#C2}
#C4 = 1
#C5 = "E.e2"
#C6 = uns::E {index:#C4, _name:#C5}
#C7 = null
#C8 = <uns::E*>[#C3, #C6]
}
Extra constant evaluation status:
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks.dart:73:33 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks.dart:73:33 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks.dart:26:77 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks.dart:26:77 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks.dart:32:60 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks.dart:32:60 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks.dart:43:58 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks.dart:43:58 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:69:33 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:69:33 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:22:74 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:22:74 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:28:58 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:28:58 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:39:56 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:39:56 -> IntConstant(42)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:134:5 -> IntConstant(0)
Evaluated: VariableGet @ org-dartlang-testcase:///unsound_checks_lib.dart:134:5 -> IntConstant(0)
Extra constant evaluation: evaluated: 719, effectively constant: 18
Constructor coverage from constants:
org-dartlang-testcase:///unsound_checks_lib.dart:
- E. (from org-dartlang-testcase:///unsound_checks_lib.dart:145:6)
- Object. (from org-dartlang-sdk:///sdk/lib/core/object.dart:25:9)