[typetools/checker-framework] bcc021: Fix problem with type var in a method reference (#...

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: bcc021ff1928ddb3e2ca9afa876bb16a6e924396
https://github.com/typetools/checker-framework/commit/bcc021ff1928ddb3e2ca9afa876bb16a6e924396
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-06-01 (Mon, 01 Jun 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/element/ElementAnnotationUtil.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/DefaultTypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InferenceResult.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/InvocationTypeInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/TypeArgumentInference.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/AdditionalArgument.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/constraint/Expression.java
A framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractExecutableType.java
A framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractInvocationType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
A 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
R framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InvocationType.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/QualifierVar.java
A framework/tests/all-systems/Issue7680.java

Log Message:
-----------
Fix problem with type var in a method reference (#7729)

Fixe



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