pkg/front_end/testcases/inference/int_upwards_local.dart.weak.expect

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

static method main() → dynamic {
  core::int x = 1;
}