diff --git a/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java b/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java index 21f5bbaf089..6d49357c52d 100644 --- a/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java +++ b/framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java @@ -3205,7 +3205,7 @@ protected boolean commonAssignmentCheck( varType.getKind(), varType.toString()); } - return true; + return false; } return commonAssignmentCheck(varType, valueExpTree, errorKey, extraArgs);