From ace71d937f1f8cdd865f267bb81c1e76e490aa0a Mon Sep 17 00:00:00 2001 From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com> Date: Sun, 17 Mar 2024 21:07:21 -0400 Subject: [PATCH] Update src/checkers/inference/InferenceAnnotatedTypeFactory.java Co-authored-by: Werner Dietl --- src/checkers/inference/InferenceAnnotatedTypeFactory.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/checkers/inference/InferenceAnnotatedTypeFactory.java b/src/checkers/inference/InferenceAnnotatedTypeFactory.java index 72c869f2..49b724a6 100644 --- a/src/checkers/inference/InferenceAnnotatedTypeFactory.java +++ b/src/checkers/inference/InferenceAnnotatedTypeFactory.java @@ -382,7 +382,7 @@ public ParameterizedExecutableType constructorFromUse(final NewClassTree newClas "Current path:\n" + getVisitorTreePath(); final ExecutableElement constructorElem = TreeUtils.elementFromUse(newClassTree); - // Get constructorReturnType for add equality constraint by calling addComputedTypeAnnotations + // Add equality constraints to return type by calling addComputedTypeAnnotations. AnnotatedDeclaredType constructorReturnType = (AnnotatedDeclaredType) toAnnotatedType(TreeUtils.typeOf(newClassTree), false); addComputedTypeAnnotations(newClassTree, constructorReturnType);