pkg/front_end/testcases/inference_new/do_loop.dart.weak.expect

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

static method f<T extends core::Object? = dynamic>() → self::f::T%
  return throw "";
static method test() → void {
  do {
    core::int x = 0;
  }
  while (self::f<core::bool>())
}
static method main() → dynamic {}