[typetools/checker-framework] e30950: Support intersection target types for method refer...

1 view
Skip to first unread message

Suzanne Millstein

unread,
Aug 20, 2026, 4:25:26 PM (4 days ago) Aug 20
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: e309509cdc3f295b0b3aaf129ee8cf83216d0ab5
https://github.com/typetools/checker-framework/commit/e309509cdc3f295b0b3aaf129ee8cf83216d0ab5
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-08-20 (Thu, 20 Aug 2026)

Changed paths:
M docs/CHANGELOG.md
M framework/src/main/java/org/checkerframework/framework/util/typeinference8/types/AbstractType.java
A framework/tests/all-systems/Issue7684.java
M javacutil/src/main/java/org/checkerframework/javacutil/TypesUtils.java

Log Message:
-----------
Support intersection target types for method references (#7684) (#8013)



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