warn-ctypes-inhibit.rs

//@ run-pass

#![allow(dead_code)]
//@ compile-flags:-D improper-ctypes

//@ pretty-expanded FIXME #23616
#![allow(improper_ctypes)]

mod libc {
    extern "C" {
        pub fn malloc(size: isize) -> *const u8;
    }
}

pub fn main() {}

// ferrocene-annotations: um_rustc_D