uefi: Forbid unwrapped unsafe in platform modules · model-checking/verify-rust-std@a752e3b (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit a752e3b

uefi: Forbid unwrapped unsafe in platform modules

File tree

2 files changed

lines changed

2 files changed

lines changed

Original file line number Diff line number Diff line change
@@ -2,6 +2,7 @@
2 2
3 3 #![unstable(feature = "uefi_std", issue = "100499")]
4 4 #![doc(cfg(target_os = "uefi"))]
5 +#![forbid(unsafe_op_in_unsafe_fn)]
5 6
6 7 pub mod env;
7 8 #[path = "../windows/ffi.rs"]
Original file line number Diff line number Diff line change
@@ -11,6 +11,7 @@
11 11 //!
12 12 //! [`OsStr`]: crate::ffi::OsStr
13 13 //! [`OsString`]: crate::ffi::OsString
14 +#![forbid(unsafe_op_in_unsafe_fn)]
14 15
15 16 pub mod alloc;
16 17 pub mod args;