std: unwrapped unsafe is VERBOTEN! · model-checking/verify-rust-std@e8527cd (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Commit e8527cd

workingjubileejoboet

and

authored

std: unwrapped unsafe is VERBOTEN!

Co-authored-by: Jonas Böttiger jonasboettiger@icloud.com

File tree

1 file changed

lines changed

1 file changed

lines changed

Original file line number Diff line number Diff line change
@@ -17,7 +17,7 @@ pub struct DwarfReader {
17 17 pub ptr: *const u8,
18 18 }
19 19
20 -#[deny(unsafe_op_in_unsafe_fn)]
20 +#[forbid(unsafe_op_in_unsafe_fn)]
21 21 impl DwarfReader {
22 22 pub fn new(ptr: *const u8) -> DwarfReader {
23 23 DwarfReader { ptr }