diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-10-01 18:42:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-01 18:42:39 +0200 |
| commit | de67301a28fa64cab7dedca822797b1dfb280137 (patch) | |
| tree | bbaccb8175de97a4c580d280a282fa9e209e78cf | |
| parent | 8e289788f95d2f611f49f40c1059e555ea9390dc (diff) | |
| parent | 84864bcf89592a1c85b6646d600ca111291fbc66 (diff) | |
| download | rust-de67301a28fa64cab7dedca822797b1dfb280137.tar.gz rust-de67301a28fa64cab7dedca822797b1dfb280137.zip | |
Rollup merge of #147230 - demoray:patch-1, r=jdonszelmann
Fix typo in 'unfulfilled_lint_expectation' to plural
| -rw-r--r-- | src/doc/rustc/src/lints/levels.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc/src/lints/levels.md b/src/doc/rustc/src/lints/levels.md index 5b002b435a5..09b55da741d 100644 --- a/src/doc/rustc/src/lints/levels.md +++ b/src/doc/rustc/src/lints/levels.md @@ -38,7 +38,7 @@ talk about later in this section. Sometimes, it can be helpful to suppress lints, but at the same time ensure that the code in question still emits them. The 'expect' level does exactly this. If -the lint in question is not emitted, the `unfulfilled_lint_expectation` lint +the lint in question is not emitted, the `unfulfilled_lint_expectations` lint triggers on the `expect` attribute, notifying you that the expectation is no longer fulfilled. |