Por que uma função consteval permite um comportamento indefinido?

Há uma propriedade muito elegante de expressões constantes em C ++: sua avaliação não pode ter um comportamento indefinido ( 7.7.4.7 ): Uma expressão e é uma expressão constante do núcleo, a menos que a avaliação de e, seguindo as regras da máquina abstrata ([intro.execution]), avalie um dos...