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

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit e189d3b

xous: 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
@@ -1,5 +1,6 @@
1 1 #![stable(feature = "rust1", since = "1.0.0")]
2 2 #![doc(cfg(target_os = "xous"))]
3 +#![forbid(unsafe_op_in_unsafe_fn)]
3 4
4 5 pub mod ffi;
5 6
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
1 -#![deny(unsafe_op_in_unsafe_fn)]
1 +#![forbid(unsafe_op_in_unsafe_fn)]
2 2
3 3 pub mod alloc;
4 4 #[path = "../unsupported/args.rs"]