Add forbid(unsafe_op_in_unsafe_fn)

model-checking · Jul 28, 2024 · 70927dc · 70927dc
1 parent 9a6c84e
commit 70927dc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/std/src/os/vita/mod.rs b/std/src/os/vita/mod.rs
@@ -1,5 +1,6 @@
 //! Definitions for vita
 
+#![forbid(unsafe_op_in_unsafe_fn)]
 #![stable(feature = "raw_ext", since = "1.1.0")]
 
 pub mod fs;