[typetools/checker-framework] c48800: Correct the way explicit annotations are handled i...

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: c48800fbaefa67251ba6da7603ad05d1fa684339
https://github.com/typetools/checker-framework/commit/c48800fbaefa67251ba6da7603ad05d1fa684339
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-05-15 (Thu, 15 May 2025)

Changed paths:
A checker/tests/nullness/Issue6740.java
M checker/tests/nullness/flow/TestNullnessUtil.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/ProperType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/UseOfVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/VariableBounds.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java

Log Message:
-----------
Correct the way explicit annotations are handled in type argument inference



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