blob: e28b9577347be73f8068bff72cccc1ab7f2d98a3 [file] [log] [blame] [edit]
//@ check-pass
#![deny(improper_ctypes)]
pub struct Error(std::num::NonZero<u32>);
extern "Rust" {
fn foo(dest: &mut [u8]) -> Result<(), Error>;
}
fn main() {
let _ = unsafe { foo(&mut []) };
}