From 5fc70e7ce54e67d34d4800aef8adcf2517213291 Mon Sep 17 00:00:00 2001
From: Noratrieb <48135649+Noratrieb@users.noreply.github.com>
Date: Fri, 18 Oct 2024 18:11:18 +0200
Subject: [PATCH] Allow `deny` inside `forbid` as a no-op

---
 src/attributes/diagnostics.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/attributes/diagnostics.md b/src/attributes/diagnostics.md
index 34dab5913..6d21a5adf 100644
--- a/src/attributes/diagnostics.md
+++ b/src/attributes/diagnostics.md
@@ -43,8 +43,9 @@ 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
-attributes are those from a higher level in the syntax tree, or from a
+long as the level does not attempt to change a forbidden lint
+(except for `deny`, which is allowed inside a `forbid` context, but ignored).
+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.
 
 This example shows how one can use `allow` and `warn` to toggle a particular