Add @DoesNotUnrefineReceiver annotation
#7640
Merged
Azure Pipelines / typetools.checker-framework (typecheck_part1_jdk25)
succeeded
Apr 22, 2026 in 24m 42s
typecheck_part1_jdk25 succeeded
Loading