Update liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/MethodsFunctionsChecker.java

CatarinaGamboa · rcosta358 · web-flow · commit 1d3d51541ff8 · 2026-05-28T16:49:26.000+01:00
Co-authored-by: Ricardo Costa &lt;rcosta.ms358@gmail.com&gt;
diff --git a/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/MethodsFunctionsChecker.java b/liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/general_checkers/MethodsFunctionsChecker.java
@@ -310,7 +310,7 @@ private Map<String, String> checkInvocationRefinements(CtElement invocation, Lis
             Predicate returnRef = returnViName != null
                     ? Predicate.createEquals(Predicate.createVar(Keys.WILDCARD), Predicate.createVar(returnViName))
                     : new Predicate();
-            invocation.putMetadata(Keys.REFINEMENT, emptyRef);
+            invocation.putMetadata(Keys.REFINEMENT, returnRef);
             return map;
         }
 

Original file line number	Diff line number	Diff line change
`@@ -310,7 +310,7 @@ private Map<String, String> checkInvocationRefinements(CtElement invocation, Lis`
`310`	`310`	`Predicate returnRef = returnViName != null`
`311`	`311`	`? Predicate.createEquals(Predicate.createVar(Keys.WILDCARD), Predicate.createVar(returnViName))`
`312`	`312`	`: new Predicate();`
`313`		`- invocation.putMetadata(Keys.REFINEMENT, emptyRef);`
	`313`	`+ invocation.putMetadata(Keys.REFINEMENT, returnRef);`
`314`	`314`	`return map;`
`315`	`315`	`}`
`316`	`316`