[typetools/checker-framework] 77ea6d: Make Map.keySet() handle multiple arguments to @Ke...

0 views
Skip to first unread message

Daniel Gao

unread,
Dec 18, 2025, 12:59:14 PM (18 hours ago) Dec 18
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 77ea6d69e106d5c7d4e24856387ef4abe211168a
https://github.com/typetools/checker-framework/commit/77ea6d69e106d5c7d4e24856387ef4abe211168a
Author: Daniel Gao <59534933+...@users.noreply.github.com>
Date: 2025-12-18 (Thu, 18 Dec 2025)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/nullness/KeyForPropagationTreeAnnotator.java
M checker/tests/nullness/KeyForMultiple.java
M framework/src/main/java/org/checkerframework/framework/type/QualifierHierarchy.java

Log Message:
-----------
Make Map.keySet() handle multiple arguments to @KeyFor (#7363)

Fixes #2358



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