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

mod test {
    extern "C" {
        pub fn free();
    }
}

fn main() {
    test::free();
    //~^ ERROR call to unsafe function is unsafe
}