Skip to content

Commit df7497d

Browse files
committed
remove redundant hasEffectiveAnnotation(NONNULL) check in visitNewArray
1 parent 10a7aaa commit df7497d

1 file changed

Lines changed: 1 addition & 3 deletions

File tree

checker/src/main/java/org/checkerframework/checker/nullness/NullnessNoInitAnnotatedTypeFactory.java

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -753,9 +753,7 @@ public Void visitNewClass(NewClassTree tree, AnnotatedTypeMirror type) {
753753
@Override
754754
public Void visitNewArray(NewArrayTree tree, AnnotatedTypeMirror type) {
755755
super.visitNewArray(tree, type);
756-
if (!type.hasEffectiveAnnotation(NONNULL)) {
757-
type.addMissingAnnotation(NONNULL);
758-
}
756+
type.addMissingAnnotation(NONNULL);
759757
return null;
760758
}
761759

0 commit comments

Comments
 (0)