Don't re-export `c_int` from `c` · model-checking/verify-rust-std@decdb06

@@ -181,9 +181,9 @@ fn write_valid_utf8_to_console(handle: c::HANDLE, utf8: &str) -> io::Result<usiz

181181 c::CP_UTF8, // CodePage182182 c::MB_ERR_INVALID_CHARS, // dwFlags183183 utf8.as_ptr(), // lpMultiByteStr184- utf8.len() as c::c_int, // cbMultiByte184+ utf8.len() as i32, // cbMultiByte185185 utf16.as_mut_ptr() as *mut c::WCHAR, // lpWideCharStr186- utf16.len() as c::c_int, // cchWideChar186+ utf16.len() as i32, // cchWideChar187187);188188assert!(result != 0, "Unexpected error in MultiByteToWideChar");189189

@@ -374,8 +374,8 @@ fn read_u16s(handle: c::HANDLE, buf: &mut [MaybeUninit<u16>]) -> io::Result<usiz

374374}375375376376fn utf16_to_utf8(utf16: &[u16], utf8: &mut [u8]) -> io::Result<usize> {377-debug_assert!(utf16.len() <= c::c_int::MAX as usize);378-debug_assert!(utf8.len() <= c::c_int::MAX as usize);377+debug_assert!(utf16.len() <= i32::MAX as usize);378+debug_assert!(utf8.len() <= i32::MAX as usize);379379380380if utf16.is_empty() {381381return Ok(0);

@@ -386,9 +386,9 @@ fn utf16_to_utf8(utf16: &[u16], utf8: &mut [u8]) -> io::Result<usize> {

386386 c::CP_UTF8, // CodePage387387 c::WC_ERR_INVALID_CHARS, // dwFlags388388 utf16.as_ptr(), // lpWideCharStr389- utf16.len() as c::c_int, // cchWideChar389+ utf16.len() as i32, // cchWideChar390390 utf8.as_mut_ptr(), // lpMultiByteStr391- utf8.len() as c::c_int, // cbMultiByte391+ utf8.len() as i32, // cbMultiByte392392 ptr::null(), // lpDefaultChar393393 ptr::null_mut(), // lpUsedDefaultChar394394)