Skip to content

Commit

Permalink
Change "forbidden lint" to "forbidden level"
Browse files Browse the repository at this point in the history
Co-authored-by: Ryan Scheel <Ryan.havvy@gmail.com>
  • Loading branch information
ehuss and Havvy authored Apr 6, 2021
1 parent 759c010 commit 829109f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/attributes/diagnostics.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ pub mod m1 {
```

Lint attributes can override the level specified from a previous attribute, as
long as the level does not attempt to change a forbidden lint. Previous
long as the level does not attempt to change a lint away from the forbidden level. Previous
attributes are those from a higher level in the syntax tree, or from a
previous attribute on the same entity as listed in left-to-right source order.

Expand Down

0 comments on commit 829109f

Please sign in to comment.