1 // Verify that unreachable code undergoes unsafety checks.
3 // [thir]compile-flags: -Z thir-unsafeck
8 //~^ ERROR dereference of raw pointer is unsafe
18 //~^ ERROR dereference of raw pointer is unsafe
23 fn uninhabited() -> Void {
30 //~^ ERROR dereference of raw pointer is unsafe