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/examples/basic.rs | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'serde_v8/examples/basic.rs')

diff --git a/serde_v8/examples/basic.rs b/serde_v8/examples/basic.rs
index 81a8e6e6c..8f19e9405 100644
--- a/serde_v8/examples/basic.rs
+++ b/serde_v8/examples/basic.rs
@@ -52,6 +52,8 @@ fn main() {
     println!("x = {}", x);
   }
 
+  // SAFETY: all isolates have been destroyed, so we can now safely let V8 clean
+  // up its resources.
   unsafe {
     v8::V8::dispose();
   }
-- 
cgit v1.2.3