[typetools/checker-framework] 034a63: Fix order that constraints/variables are resolved ...

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 034a63cd7f6205b24252c97ccc379b465162ced2
https://github.com/typetools/checker-framework/commit/034a63cd7f6205b24252c97ccc379b465162ced2
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2024-07-18 (Thu, 18 Jul 2024)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/BoundSet.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ConstraintSet.java
M framework/tests/all-systems/DiamondMethodRef.java
A framework/tests/all-systems/Issue6652.java

Log Message:
-----------
Fix order that constraints/variables are resolved in type arg inference



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications