pkg/front_end/testcases/inference/toplevel_inference_toplevel_var.dart

/*@testedFeatures=inference*/
var /*@topType=dart.core::int*/ i = 0;

main() {
  var /*@type=dart.core::int*/ j = i;
}