Rust MIR scam

They promised that borrow checker wouldn't bother you with MIR doing the hard work.
https://blog.rust-lang.org/2016/04/19/MIR.html
Guess its not working:
https://www.reddit.com/r/rust/search?q=borrow+checker&restrict_sr=on&t=year

>>7
is there any language other than Rust that has a borrow checker? it's their're are compromise between having memory safety and not having GC. languages with dependent types tend to have GC