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::_Enum /*isEnum*/  {
  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, "e1");
  static const field self2::E e2 = const self2::E::•(1, "e2");
  const constructor •(core::int index, core::String name) → self2::E
    : super core::_Enum::•(index, name)
    ;
  method toString() → core::String
    return "E.${this.{core::_Enum::_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{_Enum.index: 0, _Enum._name: "e1"}, const E{_Enum.index: 1, _Enum._name: "e2"}])
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///unsound_checks_lib.dart:145:10 -> InstanceConstant(const E{_Enum.index: 0, _Enum._name: "e1"})
Evaluated: ConstructorInvocation @ org-dartlang-testcase:///unsound_checks_lib.dart:145:14 -> InstanceConstant(const E{_Enum.index: 1, _Enum._name: "e2"})
Extra constant evaluation: evaluated: 8, effectively constant: 3