pkg/front_end/testcases/general/top_level_binary.dart.weak.expect

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

static field () → Null a = () → Null {
  self::b = self::c.{core::num::+}(1){(core::num) → core::int};
};
static field dynamic b;
static field core::int c = 1;