Rollup merge of #156564 - nnethercote:LevelSpec, r=GuillaumeGomez
Lint level cleanups Some naming improvements, some type safety improvements, and some simplifications. Details in individual commits. r? @GuillaumeGomez
G
Guillaume Gomez committed
1f5737c853c8672ee6421e2660e08b3a2f59343e
Committed by GitHub <noreply@github.com>
on 5/14/2026, 2:51:08 PM