The thing is, those of us who are careful when writing code actually want these optimisations. The more information the compiler can infer from the code, the better.