If it's not encoded in the language's specification, it's not a feature of the language but just an optimization. You can't rely on optimizations for correctness.
in theory, no, in practice, yes.
in theory, no, in practice, yes.