blob: e28b9577347be73f8068bff72cccc1ab7f2d98a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
//@ 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 []) };
}
|