Reject @NullMarked+@NullUnmarked on the same element
cpovirk opened this issue · 1 comments
cpovirk commented
(I got the impression that we already reject @Nullable @NonNull (thanks to support built into the Checker Framework, as tested through @Nullable @NullnessUnspecified in ConflictingAnnotations.java) and that netdpb is adding tests for that.)