Really interesting post about MIR. I really like this kind of posts that the Rust team publishes giving insight into the compiler internals and decisions.

If you’re not a compiler enthusiast, this all might seem arcane and unlikely to affect you directly. But in reality, MIR is the key to ticking off a number of our highest priorities for Rust.

Reading the process and thoughts behind this change also teaches how a compiler works and the different ways it has to accomplish similar things. And it comes with fancy diagrams!

Furthermore it serves as a digestible documentation for people that want to collaborate.