dotty-feature-requests icon indicating copy to clipboard operation
dotty-feature-requests copied to clipboard

Support default not null annotations

Open Katrix opened this issue 5 years ago • 0 comments

Some libraries that never return null instead opt for a package level default not null annotation, which marks everything as not null. Would be neat if Dotty's explicit nulls would support that.

Definition: https://github.com/SpongePowered/SpongeAPI/blob/stable-7/src/main/java/org/spongepowered/api/util/annotation/NonnullByDefault.java Usage: https://github.com/SpongePowered/SpongeAPI/blob/stable-7/src/main/java/org/spongepowered/api/package-info.java

Katrix avatar Dec 30 '19 14:12 Katrix