src/test/ui/unsafe/issue-45087-unreachable-unsafe.thir.stderr

error[E0133]: dereference of raw pointer is unsafe and requires unsafe function or block
  --> $DIR/issue-45087-unreachable-unsafe.rs:6:5
   |
LL |     *(1 as *mut u32) = 42;
   |     ^^^^^^^^^^^^^^^^ 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`.