¿Por qué una función de consteval permite un comportamiento indefinido?

Hay una propiedad muy clara de las expresiones constantes en C ++: su evaluación no puede tener un comportamiento indefinido ( 7.7.4.7 ): Una expresión e es una expresión constante central a menos que la evaluación de e, siguiendo las reglas de la máquina abstracta ([intro.execution]), evalúe...