an open area is the reverse case libraries. i.e. “we are implied not null for everything unless @Nullable is present” … if we can standardize some manifest property in JARs to say if we have a default like that for a library so Kotlin can use it. Not a hard pull request to add, one little flag.