pkg/front_end/testcases/late_lowering/late_final_nullable_field_with_initializer.dart.strong.expect

library;
import self as self;
import "dart:core" as core;

class Class<T extends core::Object? = dynamic> extends core::Object {
  static field core::int? lateStaticField1Init = null;
  static field core::int? _#lateStaticField1 = null;
  static field core::bool _#lateStaticField1#isSet = false;
  static field core::int? lateStaticField2Init = null;
  static field core::int? _#lateStaticField2 = null;
  static field core::bool _#lateStaticField2#isSet = false;
  field core::int? lateInstanceFieldInit = null;
  field core::int? _#lateInstanceField = null;
  field core::bool _#lateInstanceField#isSet = false;
  generic-covariant-impl field self::Class::T? lateGenericInstanceFieldInit = null;
  final field self::Class::T? field;
  field self::Class::T? _#lateGenericInstanceField = null;
  field core::bool _#lateGenericInstanceField#isSet = false;
  constructor •(self::Class::T? field) → self::Class<self::Class::T%>
    : self::Class::field = field, super core::Object::•()
    ;
  static method initLateStaticField1(core::int value) → core::int? {
    return self::Class::lateStaticField1Init = value;
  }
  static get lateStaticField1() → core::int? {
    if(!self::Class::_#lateStaticField1#isSet) {
      self::Class::_#lateStaticField1#isSet = true;
      self::Class::_#lateStaticField1 = self::Class::initLateStaticField1(87);
    }
    return self::Class::_#lateStaticField1;
  }
  static method initLateStaticField2(core::int value) → core::int? {
    return self::Class::lateStaticField2Init = value;
  }
  static get lateStaticField2() → core::int? {
    if(!self::Class::_#lateStaticField2#isSet) {
      self::Class::_#lateStaticField2#isSet = true;
      self::Class::_#lateStaticField2 = self::Class::initLateStaticField2(42);
    }
    return self::Class::_#lateStaticField2;
  }
  static method staticMethod() → dynamic {
    self::expect(null, self::Class::lateStaticField2Init);
    self::expect(42, self::Class::lateStaticField2);
    self::expect(42, self::Class::lateStaticField2Init);
  }
  method initLateInstanceField(core::int value) → core::int? {
    return this.{self::Class::lateInstanceFieldInit} = value;
  }
  get lateInstanceField() → core::int? {
    if(!this.{self::Class::_#lateInstanceField#isSet}) {
      this.{self::Class::_#lateInstanceField#isSet} = true;
      this.{self::Class::_#lateInstanceField} = this.{self::Class::initLateInstanceField}(16);
    }
    return this.{self::Class::_#lateInstanceField};
  }
  method initLateGenericInstanceField(generic-covariant-impl self::Class::T? value) → self::Class::T? {
    return this.{self::Class::lateGenericInstanceFieldInit} = value;
  }
  get lateGenericInstanceField() → self::Class::T? {
    if(!this.{self::Class::_#lateGenericInstanceField#isSet}) {
      this.{self::Class::_#lateGenericInstanceField#isSet} = true;
      this.{self::Class::_#lateGenericInstanceField} = this.{self::Class::initLateGenericInstanceField}(this.{self::Class::field});
    }
    return this.{self::Class::_#lateGenericInstanceField};
  }
  method instanceMethod() → dynamic {
    self::expect(null, this.{self::Class::lateInstanceFieldInit});
    self::expect(16, this.{self::Class::lateInstanceField});
    self::expect(16, this.{self::Class::lateInstanceFieldInit});
    self::expect(null, this.{self::Class::lateGenericInstanceFieldInit});
    self::expect(this.{self::Class::field}, this.{self::Class::lateGenericInstanceField});
    self::expect(this.{self::Class::field}, this.{self::Class::lateGenericInstanceFieldInit});
  }
}
extension Extension<T extends core::Object? = dynamic> on self::Class<T%> {
  static field lateExtensionField1Init = self::Extension|lateExtensionField1Init;
  static method initLateExtensionField1 = self::Extension|initLateExtensionField1;
  static field lateExtensionField1 = self::_#Extension|lateExtensionField1;
  static field lateExtensionField1 = self::_#Extension|lateExtensionField1#isSet;
  static get lateExtensionField1 = get self::Extension|lateExtensionField1;
  static field lateExtensionField2Init = self::Extension|lateExtensionField2Init;
  static method initLateExtensionField2 = self::Extension|initLateExtensionField2;
  static field lateExtensionField2 = self::_#Extension|lateExtensionField2;
  static field lateExtensionField2 = self::_#Extension|lateExtensionField2#isSet;
  static get lateExtensionField2 = get self::Extension|lateExtensionField2;
  static method staticMethod = self::Extension|staticMethod;
}
static field core::int? lateTopLevelField1Init;
static field core::int? _#lateTopLevelField1 = null;
static field core::bool _#lateTopLevelField1#isSet = false;
static field core::int? Extension|lateExtensionField1Init;
static field core::int? _#Extension|lateExtensionField1 = null;
static field core::bool _#Extension|lateExtensionField1#isSet = false;
static field core::int? Extension|lateExtensionField2Init;
static field core::int? _#Extension|lateExtensionField2 = null;
static field core::bool _#Extension|lateExtensionField2#isSet = false;
static method initLateTopLevelField1(core::int value) → core::int? {
  return self::lateTopLevelField1Init = value;
}
static get lateTopLevelField1() → core::int? {
  if(!self::_#lateTopLevelField1#isSet) {
    self::_#lateTopLevelField1#isSet = true;
    self::_#lateTopLevelField1 = self::initLateTopLevelField1(123);
  }
  return self::_#lateTopLevelField1;
}
static method Extension|initLateExtensionField1(core::int value) → core::int? {
  return self::Extension|lateExtensionField1Init = value;
}
static get Extension|lateExtensionField1() → core::int? {
  if(!self::_#Extension|lateExtensionField1#isSet) {
    self::_#Extension|lateExtensionField1#isSet = true;
    self::_#Extension|lateExtensionField1 = self::Extension|initLateExtensionField1(87);
  }
  return self::_#Extension|lateExtensionField1;
}
static method Extension|initLateExtensionField2(core::int value) → core::int? {
  return self::Extension|lateExtensionField2Init = value;
}
static get Extension|lateExtensionField2() → core::int? {
  if(!self::_#Extension|lateExtensionField2#isSet) {
    self::_#Extension|lateExtensionField2#isSet = true;
    self::_#Extension|lateExtensionField2 = self::Extension|initLateExtensionField2(42);
  }
  return self::_#Extension|lateExtensionField2;
}
static method Extension|staticMethod() → dynamic {
  self::expect(null, self::Extension|lateExtensionField2Init);
  self::expect(42, self::Extension|lateExtensionField2);
  self::expect(42, self::Extension|lateExtensionField2Init);
}
static method main() → dynamic {
  self::expect(null, self::lateTopLevelField1Init);
  self::expect(123, self::lateTopLevelField1);
  self::expect(123, self::lateTopLevelField1Init);
  self::expect(null, self::Class::lateStaticField1Init);
  self::expect(87, self::Class::lateStaticField1);
  self::expect(87, self::Class::lateStaticField1Init);
  self::Class::staticMethod();
  new self::Class::•<core::int?>(null).{self::Class::instanceMethod}();
  new self::Class::•<core::int?>(0).{self::Class::instanceMethod}();
  new self::Class::•<core::int>(0).{self::Class::instanceMethod}();
  self::expect(null, self::Extension|lateExtensionField1Init);
  self::expect(87, self::Extension|lateExtensionField1);
  self::expect(87, self::Extension|lateExtensionField1Init);
  self::Extension|staticMethod();
}
static method expect(dynamic expected, dynamic actual) → dynamic {
  if(!expected.{core::Object::==}(actual))
    throw "Expected ${expected}, actual ${actual}";
}