Rust's compiler is pretty much the reason the language gets so much praise. The borrow checking of course is the major reason, but it's great at hints too.