It's actually too strong and the designers of the language later had to introduce `const_cast` in order to relax it in certain circumstances.

In practice, Java's weaker `final` (immutable references) appears to be a reasonable middle ground.