+But the truth is, the actual details of the language are not all that interesting for what we are studying.
+The most important bit is the borrow checker, and the ideas it founds on - not how exactly some corner of the language behaves.
+Still, with Rust introducing the [MIR](https://github.com/rust-lang/rfcs/blob/master/text/1211-mir.md), the compiler actually moved much closer to our "rust-y" language.