//@ 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 []) };