Skip to content

Commit

Permalink
Update src/checkers/inference/InferenceAnnotatedTypeFactory.java
Browse files Browse the repository at this point in the history
Co-authored-by: Werner Dietl <wdietl@gmail.com>
  • Loading branch information
Ao-senXiong and wmdietl authored Mar 18, 2024
1 parent b728b02 commit ace71d9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/checkers/inference/InferenceAnnotatedTypeFactory.java
Original file line number Diff line number Diff line change
Expand Up @@ -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);
Expand Down

0 comments on commit ace71d9

Please sign in to comment.