Comment by kaba0

In practice, there are plenty of static analysis programs that will give you the same thing at compile time with @NonNull and similar annotations.