Add `@DoesNotUnrefineReceiver("modifiability")` annotations#276

Merged

mernst merged 17 commits into

typetools:masterfrom

May 21, 2026

Azure Pipelines / typetools.jdk (cftests_nonjunit_jdk25) succeeded May 20, 2026 in 15m 1s

cftests_nonjunit_jdk25 succeeded

0 errors / 1 warnings

View more details on Azure Pipelines