From 8d82ba729937baf83011354242cabc3d50c13dc2 Mon Sep 17 00:00:00 2001
From: Luca Casonato <hello@lcas.dev>
Date: Sun, 26 Jun 2022 00:13:24 +0200
Subject: build: require safety comments on unsafe code (#13870)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Bartek Iwańczuk <biwanczuk@gmail.com>
Co-authored-by: Divy Srivastava <dj.srivastava23@gmail.com>
---
 tools/lint.js | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tools')

diff --git a/tools/lint.js b/tools/lint.js
index 18be09c65..f1fa96a2c 100755
--- a/tools/lint.js
+++ b/tools/lint.js
@@ -116,6 +116,10 @@ async function clippy() {
       "clippy::all",
       "-D",
       "clippy::await_holding_refcell_ref",
+      "-D",
+      "clippy::missing_safety_doc",
+      "-D",
+      "clippy::undocumented_unsafe_blocks",
     ],
     stdout: "inherit",
     stderr: "inherit",
-- 
cgit v1.2.3