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

static field core::num a = 1 =={core::num::==}{(core::Object) → core::bool} 2 ?{core::num} 1 : 2.0;
static field core::num b = 1 =={core::num::==}{(core::Object) → core::bool} 2 ?{core::num} 1.0 : 2;
static method main() → dynamic {
  self::a;
  self::b;
}