I for one wouldn’t mind a compiler flag that forced platform types to be treated as Nullable (when there’s no annotation to the contrary). Early on in Kotlin’s development process all platform types were nullable but the early users found it too painful to interoperate with Java, which is why we have platform types.