For what it's worth I did say "can be" not "is" because I wasn't sure of the current state of this feature. I was just passing on the theory.

There are certainly other potential reasons, for instance constant expressions and generics. And, of course, the prohibited undefined behavior makes other optimizations possible, and potentially better.