As-if rule

Allows any and all code transformations that do not change the observable behavior of the program.

# Notes

This section is incompleteReason: fill out similar to cpp/language/as_if

# See also

• Order of evaluation
• C++ documentation