[typetools/checker-framework] 9c1c00: Fix type of method references in inference. (#7545)

0 views
Skip to first unread message

Suzanne Millstein

unread,
Mar 24, 2026, 5:09:55 PM (2 days ago) Mar 24
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 9c1c00ad246ed8b085bfda01523092432468ad08
https://github.com/typetools/checker-framework/commit/9c1c00ad246ed8b085bfda01523092432468ad08
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-03-24 (Tue, 24 Mar 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/InferenceFactory.java
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/util/FalseBoundException.java
A framework/tests/all-systems/Issue7489.java

Log Message:
-----------
Fix type of method references in inference. (#7545)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Reply all
Reply to author
Forward
0 new messages