Kotlin's been down that path before. Initially all...

# announcements

[andrewoma]

Kotlin's been down that path before. Initially all types from Java were considered nullable unless they were annotated in Java as @NotNull or external annotations were defined to declare it safe. It worked out very badly (largely due to managing external annotations). Platform types are a big step forward in usability (IMO).