yeah, I've considered how hard it'd be to contribute a compiler flag or something that would make platform types act as nullable. We're using Kotlin in a many-year-old Java codebase at my work, and everyone agrees that platform types are the single most painful part of using Kotlin

Could you, please, tell more on where exactly it bites you? Is it related to type inference (

val a = someJavaFun()

gets platform type) or you are stumbling more on cases like

someJavaFun().doSomething()

that can give you NPE?