[typetools/checker-framework] dc1961: Type inference improvements

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: dc1961fc7bfeb43043f48f3d494a89ff35e38057
https://github.com/typetools/checker-framework/commit/dc1961fc7bfeb43043f48f3d494a89ff35e38057
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2026-07-25 (Sat, 25 Jul 2026)

Changed paths:
M .github/workflows/claude-code-review.yml
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/bound/CaptureBound.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ConstraintSet.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/ReductionResult.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Typing.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractQualifier.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AnnotatedContainsInferenceVariable.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/CompileTimeDeclarationType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/Resolution.java

Log Message:
-----------
Type inference improvements



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