commit 20d980be788a833dc7e374050a24a2a4b9aeda0a
author David Tolnay <dtolnay@gmail.com> Wed Dec 30 15:56:05 2020 -0800
committer David Tolnay <dtolnay@gmail.com> Wed Dec 30 16:44:05 2020 -0800
tree b4384ef9bcb6b40677a58414f759f0fd7444ea1d
parent d5ee99c8bd0f15eb6c4720f82cb6cc4d20dbf8fd

Skip over rust diagnostic attributes

syntax/attrs.rs

diff --git a/syntax/attrs.rs b/syntax/attrs.rs
index 8740d3d..9ad3d51 100644
--- a/syntax/attrs.rs
+++ b/syntax/attrs.rs
@@ -101,6 +101,13 @@
                 }
                 Err(err) => return cx.push(err),
             }
+        } else if attr.path.is_ident("allow")
+            || attr.path.is_ident("warn")
+            || attr.path.is_ident("deny")
+            || attr.path.is_ident("forbid")
+        {
+            // https://doc.rust-lang.org/reference/attributes/diagnostics.html#lint-check-attributes
+            continue;
         }
         return cx.error(attr, "unsupported attribute");
     }