Static analysis is great, but excessive annotations are not fun. In my (admittedly limited) experience, people omit them, forget to update them, and then rely

Static analysis is great, but excessive annotations are not fun. In my (admittedly limited) experience, people omit them, forget to update them, and then rely on the analyser to magically catch everything. Sure, library solutions like Optional can always be misused, but there's no silver bullet to negligence.