From 42a2815c390f2b2567668de4f02b15ab99e532e7 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <aosen.xiong@uwaterloo.ca>
Date: Mon, 19 Aug 2024 16:17:20 -0400
Subject: [PATCH] Compute Varargs before calling setParameterTypes

---
 .../framework/type/AbstractViewpointAdapter.java                 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/framework/src/main/java/org/checkerframework/framework/type/AbstractViewpointAdapter.java b/framework/src/main/java/org/checkerframework/framework/type/AbstractViewpointAdapter.java
index d85f0814579..90abff4a90f 100644
--- 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());
     }