bors 75e7cf5f85 Auto merge of #142398 - fee1-dead-contrib:push-ynxrtswtkyxw, r=oli-obk
early linting: avoid redundant calls to `check_id`

An attempt to address the regression at https://github.com/rust-lang/rust/pull/142240#issuecomment-2964425460

r? `@oli-obk`

cc `@nnethercote` who might have a better understanding of the performance implications
2025-06-15 09:17:15 +00:00
..
2025-05-27 13:29:24 +10:00
2024-07-29 08:26:52 +10:00
2025-05-27 13:29:24 +10:00
2025-04-21 07:35:56 +10:00