Override upperBound instead of leastUpperBound (#447)

opprop · Apr 20, 2024 · 938898f · 938898f
1 parent 71cee10
commit 938898f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/checkers/inference/dataflow/InferenceValue.java b/src/checkers/inference/dataflow/InferenceValue.java
@@ -52,7 +52,7 @@ private InferenceAnalysis getInferenceAnalysis() {
      *
      */
     @Override
-    public CFValue leastUpperBound(CFValue other) {
+    public CFValue upperBound(CFValue other, TypeMirror upperBoundTypeMirror, boolean shouldWiden) {
         if (other == null) {
             return this;
         }