Нету потому что нарушает спеку джавы, мне кажется
Котлин ведь не джава. CоnstExpr — это же вычисления константы от чистых функций. Вычислил — сложил константу в байткод, кто тебе мещает? JVM не запретит. В принципе и для Java можно annotation processor написать с модификацией байткода. Только семантику Java ты после этого поменяешь. Но назови язык как нибудь Colombok — вот у тебя и констэкспры в Java