<pre> fn main() { let x: int = do { fail } while (true); } </pre> results in <pre> rt: 439d:main:main: upcall fail 'Assertion !*terminated failed', ../src/comp/lib/llvm.rs:927 </pre> Tim, you've fixed this for a bunch of other cases; do you have time to take this one?