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