fn f() {
  for(var i : i32 = array<i32, 1>(1)[0]; false; ) {
  }
}