[typetools/checker-framework] 8ab2b6: KeyFor Checker: Convert annotations with parse err...

[Suzanne Millstein]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 8ab2b644cae2463924a2d9289ee8f93ddb8a08b3
https://github.com/typetools/checker-framework/commit/8ab2b644cae2463924a2d9289ee8f93ddb8a08b3
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2025-04-28 (Mon, 28 Apr 2025)

Changed paths:
M checker/src/main/java/org/checkerframework/checker/nullness/KeyForAnnotatedTypeFactory.java
M checker/tests/nullness/Issue2470.java
A checker/tests/nullness/Issue6520.java
A checker/tests/nullness/Issue6750.java
M framework/src/main/java/org/checkerframework/framework/util/JavaExpressionParseUtil.java
M framework/src/main/java/org/checkerframework/framework/util/dependenttypes/DependentTypesHelper.java

Log Message:
-----------
KeyFor Checker: Convert annotations with parse errors to top for method invocations



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