[kaba0]

I quickly glanced at the spec, but didn’t find it. But I didn’t make it up though, I remember reading it on the jvm mailing list and I found it here described by Brian Goetz himself: https://openjdk.org/projects/valhalla/design-notes/state-of-...

[tialaramex]

Thanks for that, it makes sense but it's good to know somebody specifically thought about this rather than "Eh, it seems to work".