java.lang.Record is a super type of all records. #6070
Merged
Azure Pipelines / typetools.checker-framework (daikon_part1_jdk17)
succeeded
Jul 3, 2023 in 35m 39s
daikon_part1_jdk17 succeeded
Loading