Rust MIR

Did you know Rust is finally getting rid of its "borrow checker" ?
http://blog.rust-lang.org/2016/04/19/MIR.html

"Code less - create more" (c)Trolltech

Symta:
while not Xs.end and got !x Xs.next: process x

Rust:
let mut iterator = vec.into_iter();
while let Some(elem) = iterator.next() {
process(elem);
}

Symta's `!` and `:` are also macro friendly, so all macros get anaphoric capabilities (Symta's `while` , knows nothing about the binding of `elem`).