keep "grey area" lint summary green (#1619)

This replaces link to a removed lint with a link to discussion of lints
of its type.
This commit is contained in:
Tshepang Mbambo 2023-02-21 03:08:35 +02:00 committed by GitHub
parent d3bee3c76d
commit 74a6d8d10a
1 changed files with 6 additions and 5 deletions

View File

@ -112,10 +112,11 @@ Here are a few examples:
- Dead code: this is a lint. While the user probably doesn't want dead code in - Dead code: this is a lint. While the user probably doesn't want dead code in
their crate, making this a hard error would make refactoring and development their crate, making this a hard error would make refactoring and development
very painful. very painful.
- [safe_packed_borrows future compatibility warning][safe_packed_borrows]: - [future-incompatible lints]:
this is a silencable lint related to safety. It was judged that the making these are silencable lints.
this a hard (fixed) error would cause too much breakage, so instead a It was decided that making them fixed errors would cause too much breakage,
warning is emitted that eventually will be turned into a hard error. so warnings are instead emitted,
and will eventually be turned into fixed (hard) errors.
Hard-coded warnings (those using the `span_warn` methods) should be avoided Hard-coded warnings (those using the `span_warn` methods) should be avoided
for normal code, preferring to use lints instead. Some cases, such as warnings for normal code, preferring to use lints instead. Some cases, such as warnings
@ -124,7 +125,7 @@ with CLI flags, will require the use of hard-coded warnings.
See the `deny` [lint level](#diagnostic-levels) below for guidelines when to See the `deny` [lint level](#diagnostic-levels) below for guidelines when to
use an error-level lint instead of a fixed error. use an error-level lint instead of a fixed error.
[safe_packed_borrows]: https://github.com/rust-lang/rust/issues/46043 [future-incompatible lints]: #future-incompatible-lints
## Diagnostic output style guide ## Diagnostic output style guide