@NonNull and similar annotations can and are used by static analyzer programs to completely eliminate null exceptions. For example Checker Framework can do that and much more.
This is the exact same thing that languages with null-safety have “in-built”. Sure, language support is nice, but it is here and is working
This is the exact same thing that languages with null-safety have “in-built”. Sure, language support is nice, but it is here and is working