// revisions: mir thir
// [thir]compile-flags: -Z thir-unsafeck

use std::ptr;

fn main() {
    (&ptr::write)(1 as *mut _, 42);
    //~^ ERROR E0133
}