One of the things I'm really excited about for Rust is restrict semantics are baked right there into the language with &mut/&. I think there were still a few LLVM bugs to flush out(because very little C/C++ code uses restrict by nature of how it subtly explodes when you get it wrong).
In theory when they sort that out Rust should be able to turn on restrict where it applies globally "for free".
In theory when they sort that out Rust should be able to turn on restrict where it applies globally "for free".