So, in theory it's possible to create AOT JVM (say...

# announcements

[konsoletyper]

So, in theory it's possible to create AOT JVM (say, without reflection support) that performs full interpocedural null analysis and can eliminate most of Kotlin null checks?