Adapt code to basetype visitor logic

opprop · Apr 7, 2024 · 7818eeb · 7818eeb
1 parent 7d092b1
commit 7818eeb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/checkers/inference/InferenceVisitor.java b/src/checkers/inference/InferenceVisitor.java
@@ -594,7 +594,8 @@ protected boolean commonAssignmentCheck(
                                     mono.getCanonicalName(),
                                     mono.getCanonicalName(),
                                     valueType.toString());
-                    return true;
+                    // Assign success to false to report the error.
+                    success = false;
                 }
             }
         }