diff options
| author | Dale Wijnand <dale.wijnand@gmail.com> | 2019-02-17 10:24:06 +0000 |
|---|---|---|
| committer | Dale Wijnand <dale.wijnand@gmail.com> | 2019-02-17 10:24:25 +0000 |
| commit | 8fbb013c1c0605a4738a6f5f5ec5b47550a2a5ec (patch) | |
| tree | 5a14b151088f100e45ce8d772df62e38bd624d68 /src | |
| parent | 6982acd8673cbf511e64c6790964e94552400f40 (diff) | |
| download | rust-8fbb013c1c0605a4738a6f5f5ec5b47550a2a5ec.tar.gz rust-8fbb013c1c0605a4738a6f5f5ec5b47550a2a5ec.zip | |
Mention capping forbid lints
I felt the description of forbid was misleading/incomplete without mentioning how --cap-lints interacts with it.
Diffstat (limited to 'src')
| -rw-r--r-- | src/doc/rustc/src/lints/levels.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/doc/rustc/src/lints/levels.md b/src/doc/rustc/src/lints/levels.md index 072c7585934..d315e0f8ca9 100644 --- a/src/doc/rustc/src/lints/levels.md +++ b/src/doc/rustc/src/lints/levels.md @@ -90,7 +90,9 @@ This lint level gives you that. 'forbid' is a special lint level that's stronger than 'deny'. It's the same as 'deny' in that a lint at this level will produce an error, but unlike the 'deny' level, the 'forbid' level can not be overridden to be anything lower -than an error. +than an error. However, lint levels may still be capped with `--cap-lints` +(see below) so `rustc --cap-lints warn` will make lints set to 'forbid' just +warn. ## Configuring warning levels |