This code takes suspciously long to converge

[jruderman]

fn main() { ret (ret m) as int + 1; }

fn main() { ret (ret m as int) + 1; }

fn main() { ret ret m as int + 1; }

fn main() { ret ret (m as int) + 1; }

The last one is finally stable, but it clearly doesn't do the same thing as the first line.

[brson]

The precedence issues here are fixed, but this can't be tested within our current test framework because the code is invalid (can't cast _|_ to int).

[catamorphism]

Closing under the principle that we don't need to pretty-print ill-typed code correctly.