Repository navigation

Implementation of tool lints. - #52018

Merged

bors merged 4 commits into

rust-lang:masterfrom

flip1995:rfc2103

Jul 6, 2018

Merged

Implementation of tool lints.#52018
bors merged 4 commits into
rust-lang:masterfrom
flip1995:rfc2103

Commits on Jul 4, 2018
- Tests for tool_lints
  flip1995
  committed
  ed29e86
- Implementation of tool lints
  flip1995
  committed
  dddb8d2
- Unstable book documentation of tool lints
  flip1995
  committed
  a9634fc
- Improving span of unknown lint tool error message
  flip1995
  committed
  c394900