src/test/ui/rfc-2008-non-exhaustive/improper_ctypes/same_crate_proper.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

// check-pass
#![deny(improper_ctypes)]

// This test checks that non-exhaustive types with `#[repr(C)]` are considered proper within
// the defining crate.

#[non_exhaustive]
#[repr(C)]
pub enum NonExhaustiveEnum {
    Unit,
    Tuple(u32),
    Struct { field: u32 },
}

#[non_exhaustive]
#[repr(C)]
pub struct NormalStruct {
    pub first_field: u16,
    pub second_field: u16,
}

#[non_exhaustive]
#[repr(C)]
pub struct UnitStruct;

#[non_exhaustive]
#[repr(C)]
pub struct TupleStruct(pub u16, pub u16);

#[repr(C)]
pub enum NonExhaustiveVariants {
    #[non_exhaustive]
    Unit,
    #[non_exhaustive]
    Tuple(u32),
    #[non_exhaustive]
    Struct { field: u32 },
}

extern "C" {
    // Unit structs aren't tested here because they will trigger `improper_ctypes` anyway.
    pub fn non_exhaustive_enum(_: NonExhaustiveEnum);
    pub fn non_exhaustive_normal_struct(_: NormalStruct);
    pub fn non_exhaustive_tuple_struct(_: TupleStruct);
    pub fn non_exhaustive_variant(_: NonExhaustiveVariants);
}

fn main() {}