This was proposed [long before the fuss about mutability](https://github.com/mozilla/rust/issues/8622). It was not proposed as a way to eliminate a special case from the compiler. It eliminates the special case as a side effect of being sane rather than as a goal.