// module loop_forever_build

/// loop-recur iter 3 — an infinite loop (no non-recur exit) must COMPILE
/// (typechecks AND compiles; no termination claim). Build-only; by design never
/// returns, so the binary is never executed.
fn main() -> own Unit with IO {
  print(spin(0))
}

fn spin(n: own Int) -> own Int {
  loop(i = 0) {
    recur(i + 1)
  }
}
