Repository navigation

Move lint level source explanation to the bottom - #101986

Merged

bors merged 10 commits into

rust-lang:masterfrom

WaffleLapkin:move_lint_note_to_the_bottom

Oct 1, 2022

Merged

Move lint level source explanation to the bottom#101986
bors merged 10 commits into
rust-lang:masterfrom
WaffleLapkin:move_lint_note_to_the_bottom

Commits on Oct 1, 2022
- Refactor rustc lint API
  WaffleLapkin
  committed
  a8f7e24
- clippy: adopt to the new lint API
  WaffleLapkin
  committed
  7e90a41
- rustdoc: adopt to the new lint API
  WaffleLapkin
  committed
  6ecacf7
- Move lint level source explanation to the bottom
  WaffleLapkin
  committed
  ad3d1fc
- bless ui tests
  WaffleLapkin
  committed
  13b67fb
- bless clippy
  WaffleLapkin
  committed
  9d388dc
- bless a miri test
  WaffleLapkin
  committed
  afa886e
- bless rustdoc-ui
  WaffleLapkin
  committed
  b307115
- `ui-fulldeps`: adopt to the new rustc lint API
  WaffleLapkin
  committed
  d028db9
- Remove `LintDiagnosticBuilder`
  WaffleLapkin
  committed
  b5b3ffe