The latter appears to be standard but it seems kotlin only recognises the IntelliJ-specific former form? Is that intentional or a bug?
It would be nice if I could say “assume everything in this namespace is non-null by default except for things marked @Nullable”. I have a codebase where things (mostly return values and parameters) that can be null are marked as such, and everything else isn’t annotated.