DadoQué difícil es saber si una aritmética.final val La expresión se compilará a una constante de tiempo de compilación, y lo fácil que es romper accidentalmente el tiempo de compilación...

¿Puede alguien pensar en una manera fácil de verificar, en tiempo de compilación, que el compilador haya creado realmente una constante de tiempo de compilación a partir de, digamos, una expresión aritmética compleja? Supongo que esto podría ser algún tipo de anotación o macro, pero tal vez haya algo más simple. Por ejemplo, tal vez algo como:

   @CompileTime final val HALF_INFINITY = Int.MaxValue / 2

sería posible.