1 error[E0133]: dereference of raw pointer is unsafe and requires unsafe function or block
2 --> $DIR/safety-fn-body.rs:14:9
5 | ^^^^^ dereference of raw pointer
7 = note: raw pointers may be null, dangling or unaligned; they can violate aliasing rules and cause data races: all of these are undefined behavior
9 error: aborting due to 1 previous error
11 For more information about this error, try `rustc --explain E0133`.