Skip to content

early linting: avoid redundant calls to check_id - #142398

Merged
bors merged 1 commit into
rust-lang:masterfrom
fee1-dead-contrib:push-ynxrtswtkyxw
Jun 15, 2025
Merged

early linting: avoid redundant calls to check_id#142398
bors merged 1 commit into
rust-lang:masterfrom
fee1-dead-contrib:push-ynxrtswtkyxw

Commits

  1. Commits on Jun 12, 2025