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>
---
 serde_v8/utils.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'serde_v8/utils.rs')

diff --git a/serde_v8/utils.rs b/serde_v8/utils.rs
index 427ac5f2f..d491ac093 100644
--- a/serde_v8/utils.rs
+++ b/serde_v8/utils.rs
@@ -17,6 +17,7 @@ pub fn v8_init() {
 }
 
 pub fn v8_shutdown() {
+  // SAFETY: this is safe, because all isolates have been shut down already.
   unsafe {
     v8::V8::dispose();
   }
-- 
cgit v1.2.3