Return false, not null#7799
Merged
smillst merged 1 commit intoJul 7, 2026
Merged
Azure Pipelines / typetools.checker-framework (plume_lib_jdk25)
succeeded
Jul 5, 2026 in 22m 10s
plume_lib_jdk25 succeeded
Loading