<https://kotlinlang.slack.com/archives/language-pr...
# language-proposalsi
ilya.gorbunov
05/10/2016, 3:33 PMhttps://kotlinlang.slack.com/archives/language-proposals/p1462894096000416
Nullability is partially preserved for java with annotations. I can imagine similar annotations for erased union types as well, that will help IDE with typing.