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.