Hacker News Reader

Yep, the MIR allows the compiler to understand control flow more accurately and more precisely. Non-lexical lifetimes in particular are one of the big features that the MIR should help enable.

Yes, MIR will help with non-lexical borrows.

When I started reading your comment, I was ready to respond with "yes, one example is non-lexical lifetimes", sooo :)

Another is compiler plugins: it's much easier to stabilize an MIR than it is to stabilize the compiler's internal functions.