| error[E0133]: dereference of raw pointer is unsafe and requires unsafe function or block |
| --> $DIR/unsafe-move-val-init.rs:18:5 |
| | |
| LL | intrinsics::move_val_init(1 as *mut u32, 1); |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ dereference of raw pointer |
| | |
| = note: raw pointers may be NULL, dangling or unaligned; they can violate aliasing rules and cause data races: all of these are undefined behavior |
| |
| error: aborting due to previous error |
| |
| For more information about this error, try `rustc --explain E0133`. |
