Warn when using the top type in a pre- or post-condition annotation#6412
Open
mernst wants to merge 14 commits into
Open
Warn when using the top type in a pre- or post-condition annotation#6412mernst wants to merge 14 commits into
mernst wants to merge 14 commits into
CircleCI Checks / build
failed
May 25, 2026 in 25m 18s
Workflow: build
- misc_jdk26 - Failed
- inference_part2_jdk25 - Failed
- misc_jdk25 - Failed
- nonjunit_jdk25 - Success
- junit_part2_jdk25 - Success
- junit_part1_jdk25 - Success
- typecheck_part1_jdk25 - Success
- inference_part1_jdk25 - Success
- typecheck_part2_jdk25 - Success
- canary_jobs - Skipped
- junit_jdk21 - Skipped
- junit_jdk26 - Skipped
- guava_jdk25 - Skipped
- misc_jdk21 - Skipped
- plume_lib_jdk25 - Skipped
- junit_jdk17 - Skipped
Loading