How would you do the same thing with the late initialization of, say, a HashMap where you don't control the constructor?

Hmm, I see what you're saying -- yeah, this seems to be semantically identical to Kotlin's `lateinit` then

Exactly. AFAICT this will be optimized at the JVM level though, so once you've initialized the constant the JIT compiler can take full advantage of that fact.