1 #![feature(transparent_unions)]
2 #![feature(ptr_internals)]
3 #![deny(improper_ctypes)]
4 #![allow(dead_code)]
5
6 use std::num;
7
8 enum Z {}
9 enum U {
10 A,
11 }
12 enum B {
13 C,
14 D,
15 }
16 enum T {
17 E,
18 F,
19 G,
20 }
21
22 #[repr(C)]
23 enum ReprC {
24 A,
25 B,
26 C,
27 }
28
29 #[repr(u8)]
30 enum U8 {
31 A,
32 B,
33 C,
34 }
35
36 #[repr(isize)]
37 enum Isize {
38 A,
39 B,
40 C,
41 }
42
43 #[repr(transparent)]
44 struct TransparentStruct<T>(T, std::marker::PhantomData<Z>);
45
46 #[repr(transparent)]
47 enum TransparentEnum<T> {
48 Variant(T, std::marker::PhantomData<Z>),
49 }
50
51 #[repr(transparent)]
52 union TransparentUnion<T: Copy> {
53 field: T,
54 }
55
56 struct Rust<T>(T);
57
58 extern "C" {
zf(x: Z)59 fn zf(x: Z);
uf(x: U)60 fn uf(x: U); //~ ERROR `extern` block uses type `U`
bf(x: B)61 fn bf(x: B); //~ ERROR `extern` block uses type `B`
tf(x: T)62 fn tf(x: T); //~ ERROR `extern` block uses type `T`
repr_c(x: ReprC)63 fn repr_c(x: ReprC);
repr_u8(x: U8)64 fn repr_u8(x: U8);
repr_isize(x: Isize)65 fn repr_isize(x: Isize);
option_ref(x: Option<&'static u8>)66 fn option_ref(x: Option<&'static u8>);
option_fn(x: Option<extern "C" fn()>)67 fn option_fn(x: Option<extern "C" fn()>);
nonnull(x: Option<std::ptr::NonNull<u8>>)68 fn nonnull(x: Option<std::ptr::NonNull<u8>>);
unique(x: Option<std::ptr::Unique<u8>>)69 fn unique(x: Option<std::ptr::Unique<u8>>);
70 //~^ ERROR `extern` block uses type `Option<Unique<u8>>`
nonzero_u8(x: Option<num::NonZeroU8>)71 fn nonzero_u8(x: Option<num::NonZeroU8>);
nonzero_u16(x: Option<num::NonZeroU16>)72 fn nonzero_u16(x: Option<num::NonZeroU16>);
nonzero_u32(x: Option<num::NonZeroU32>)73 fn nonzero_u32(x: Option<num::NonZeroU32>);
nonzero_u64(x: Option<num::NonZeroU64>)74 fn nonzero_u64(x: Option<num::NonZeroU64>);
nonzero_u128(x: Option<num::NonZeroU128>)75 fn nonzero_u128(x: Option<num::NonZeroU128>);
76 //~^ ERROR `extern` block uses type `u128`
nonzero_usize(x: Option<num::NonZeroUsize>)77 fn nonzero_usize(x: Option<num::NonZeroUsize>);
nonzero_i8(x: Option<num::NonZeroI8>)78 fn nonzero_i8(x: Option<num::NonZeroI8>);
nonzero_i16(x: Option<num::NonZeroI16>)79 fn nonzero_i16(x: Option<num::NonZeroI16>);
nonzero_i32(x: Option<num::NonZeroI32>)80 fn nonzero_i32(x: Option<num::NonZeroI32>);
nonzero_i64(x: Option<num::NonZeroI64>)81 fn nonzero_i64(x: Option<num::NonZeroI64>);
nonzero_i128(x: Option<num::NonZeroI128>)82 fn nonzero_i128(x: Option<num::NonZeroI128>);
83 //~^ ERROR `extern` block uses type `i128`
nonzero_isize(x: Option<num::NonZeroIsize>)84 fn nonzero_isize(x: Option<num::NonZeroIsize>);
transparent_struct(x: Option<TransparentStruct<num::NonZeroU8>>)85 fn transparent_struct(x: Option<TransparentStruct<num::NonZeroU8>>);
transparent_enum(x: Option<TransparentEnum<num::NonZeroU8>>)86 fn transparent_enum(x: Option<TransparentEnum<num::NonZeroU8>>);
transparent_union(x: Option<TransparentUnion<num::NonZeroU8>>)87 fn transparent_union(x: Option<TransparentUnion<num::NonZeroU8>>);
88 //~^ ERROR `extern` block uses type
repr_rust(x: Option<Rust<num::NonZeroU8>>)89 fn repr_rust(x: Option<Rust<num::NonZeroU8>>); //~ ERROR `extern` block uses type
no_result(x: Result<(), num::NonZeroI32>)90 fn no_result(x: Result<(), num::NonZeroI32>); //~ ERROR `extern` block uses type
91 }
92
main()93 pub fn main() {}
94