Use proper underlying type#7791
Open
mernstcheckerframework wants to merge 1 commit into
Open
CircleCI Checks / build
succeeded
Jul 5, 2026 in 1h 7m 59s
Workflow: build
- junit_part2_jdk25 - Success
- misc_jdk26 - Success
- typecheck_part1_jdk25 - Success
- inference_part1_jdk25 - Success
- nonjunit_jdk25 - Success
- typecheck_part2_jdk25 - Success
- inference_part2_jdk25 - Success
- junit_part1_jdk25 - Success
- misc_jdk25 - Success
- canary_jobs - Success
- misc_jdk21 - Success
- junit_jdk26 - Success
- guava_jdk25 - Success
- junit_jdk17 - Success
- plume_lib_jdk25 - Success
- junit_jdk21 - Success
Loading