Compute Varargs before calling setParameterTypes

eisop · Aug 19, 2024 · 42a2815 · 42a2815
1 parent 9302124
commit 42a2815
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/framework/src/main/java/org/checkerframework/framework/type/AbstractViewpointAdapter.java b/framework/src/main/java/org/checkerframework/framework/type/AbstractViewpointAdapter.java
@@ -186,6 +186,7 @@ public void viewpointAdaptMethod(
         // and sets the corresponding parts to asMemberOf result
         methodType.setReturnType(unsubstitutedMethodType.getReturnType());
         methodType.setReceiverType(unsubstitutedMethodType.getReceiverType());
+        methodType.computeVarargType();
         methodType.setParameterTypes(unsubstitutedMethodType.getParameterTypes());
         methodType.setTypeVariables(unsubstitutedMethodType.getTypeVariables());
     }