IntelliJ docs (<https://www.jetbrains.com/help/ide...
# announcements
n
IntelliJ docs (https://www.jetbrains.com/help/idea/2016.1/parametersarenonnullbydefault-annotation.html#ParametersAreNonnullByDefault) talk about an annotation for that, but I think it's from a finally retired Java proposal.