pkg/front_end/testcases/nnbd/null_aware_this_access.dart.strong.modular.expect

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

class C extends core::Object {
  field core::int? m1 = null;
  field core::int m2 = 0;
  synthetic constructor •() → self::C
    : super core::Object::•()
    ;
  get property() → self::C
    return this;
  method test() → dynamic {
    this.{self::C::m1}{core::int?};
    this.{self::C::m1} = 42;
    this.{self::C::method}(){() → dynamic};
    this.{self::C::property}{self::C}.{self::C::m1}{core::int?};
    this.{self::C::property}{self::C}.{self::C::method}(){() → dynamic};
    this.{self::C::[]}(0){(core::int) → core::int?};
    this.{self::C::[]=}(0, 0){(core::int, core::int) → void};
    let final core::int #t1 = 0 in this.{self::C::[]}(#t1){(core::int) → core::int?} == null ?{core::int?} this.{self::C::[]=}(#t1, 0){(core::int, core::int) → void} : null;
    this.{self::C::property}{self::C}.{self::C::[]}(0){(core::int) → core::int?};
    this.{self::C::property}{self::C}.{self::C::[]=}(0, 0){(core::int, core::int) → void};
    let final self::C #t2 = this.{self::C::property}{self::C} in let final core::int #t3 = 0 in #t2.{self::C::[]}(#t3){(core::int) → core::int?} == null ?{core::int?} #t2.{self::C::[]=}(#t3, 0){(core::int, core::int) → void} : null;
    this.{self::C::m1}{core::int?} == null ?{core::int?} this.{self::C::m1} = 42 : null;
    this.{self::C::m2} = this.{self::C::m2}{core::int}.{core::num::+}(2){(core::num) → core::int};
    this.{self::C::m2} = this.{self::C::m2}{core::int}.{core::num::+}(1){(core::num) → core::int};
    this.{self::C::m2} = this.{self::C::m2}{core::int}.{core::num::-}(1){(core::num) → core::int};
    this;
  }
  operator [](core::int index) → core::int?
    return 0;
  operator []=(core::int index, core::int value) → void {}
  method method() → dynamic {}
}
class D extends core::Object {
  synthetic constructor •() → self::D
    : super core::Object::•()
    ;
  get property() → self::D
    return this;
  method test() → dynamic {
    this.{self::D::[]}(0){(core::int) → core::int};
    this.{self::D::[]=}(0, 0){(core::int, core::int) → void};
    let final core::int #t4 = 0 in this.{self::D::[]=}(#t4, this.{self::D::[]}(#t4){(core::int) → core::int}.{core::num::+}(0){(core::num) → core::int}){(core::int, core::int) → void};
    this.{self::D::property}{self::D}.{self::D::[]}(0){(core::int) → core::int};
    this.{self::D::property}{self::D}.{self::D::[]=}(0, 0){(core::int, core::int) → void};
    let final self::D #t5 = this.{self::D::property}{self::D} in let final core::int #t6 = 0 in #t5.{self::D::[]=}(#t6, #t5.{self::D::[]}(#t6){(core::int) → core::int}.{core::num::+}(0){(core::num) → core::int}){(core::int, core::int) → void};
  }
  operator [](core::int index) → core::int
    return 0;
  operator []=(core::int index, core::int value) → void {}
}
static method main() → dynamic {
  new self::C::•().{self::C::test}(){() → dynamic};
  new self::D::•().{self::D::test}(){() → dynamic};
}