Fix "unneeded.suppression" warning #7747

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

smillst merged 13 commits into typetools:master from mernst:warn-unneeded-efficiency

May 29, 2026

+89 −68

Merged

Fix "unneeded.suppression" warning #7747

Merge branch 'master' into warn-unneeded-efficiency

CircleCI Checks / build succeeded May 28, 2026 in 1h 2m 1s

Workflow: build

View CircleCI Workflow

junit_part1_jdk25 - Success
inference_part2_jdk25 - Success
typecheck_part1_jdk25 - Success
inference_part1_jdk25 - Success
misc_jdk25 - Success
misc_jdk26 - Success
nonjunit_jdk25 - Success
junit_part2_jdk25 - Success
typecheck_part2_jdk25 - Success
canary_jobs - Success
junit_jdk21 - Success
plume_lib_jdk25 - Success
misc_jdk21 - Success
junit_jdk17 - Success
guava_jdk25 - Success
junit_jdk26 - Success

View more details on CircleCI Checks