//@ignore-target: windows # File handling is not implemented yet
//@compile-flags: -Zmiri-disable-isolation
use std::ffi::{CString, OsStr, c_char, c_int};
use std::os::unix::ffi::OsStrExt;

extern "C" {
    fn open(path: *const c_char, oflag: c_int, ...) -> c_int;
    // correct fd type is i32
    fn close(fd: u32) -> c_int;
}

fn main() {
    let c_path = CString::new(OsStr::new("./text").as_bytes()).expect("CString::new failed");
    let fd = unsafe {
        open(c_path.as_ptr(), /* value does not matter */ 0)
    } as u32;
    let _ = unsafe {
        close(fd);
        //~^ ERROR: type i32 passing argument of type u32
    };
}