pkg/front_end/testcases/inference/downward_inference_fixes_no_upwards_errors.dart.weak.outline.expect

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

import "dart:math";

static method f(core::num x, dynamic y) → dynamic
  ;
static method main() → dynamic
  ;