Repository navigation

port lint attributes - #162811

Merged

rust-bors[bot] merged 8 commits into

rust-lang:mainfrom

mejrs:port_lint_check

Oct 13, 2026

Merged

port lint attributes#162811
rust-bors[bot] merged 8 commits into
rust-lang:mainfrom
mejrs:port_lint_check

Commits on Oct 13, 2026
- port lint attributes
  mejrs
  committed
  bb0f4a6
- ditch attr/lint index
  mejrs
  committed
  9e5c570
- misc perf stuff
  mejrs
  committed
  e547f10
- allocate less
  mejrs
  committed
  5c328d4
- comment on attr_id field
  mejrs
  committed
  d1b5988
- implement feedback
  mejrs
  committed
  6f28832
- fix attribute test
  mejrs
  committed
  d8ab1f9
- fix tidy
  mejrs
  committed
  ea4a0bd