library test /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

class C extends core::Object {
  field core::int x = 0;
  synthetic constructor •() → self::C
    : super core::Object::•()
    ;
}
static method f(self::C? c) → void {
  core::int? x = let final self::C? #t1 = c in #t1 == null ?{core::int?} null : #t1{self::C}.{self::C::x}{core::int};
  let final self::C? #t2 = c in #t2 == null ?{core::int?} null : #t2{self::C}.{self::C::x}{core::int};
}
static method main() → dynamic {}