Thank you for your suggestion.
It is similar to this thread and this other one. I will look into it. this change would create false negatives as there are valid contexts in which @NotNull actually means that the annotated item will not be null.
I moved your posts to a separate thread because it had no relation with the original thread. Please use the “Report a Bug”->“False-positive” category to report rules raising unexpected issues.
@bannmann Thank you for explaining the information we need. It helped a lot.