-
Notifications
You must be signed in to change notification settings - Fork 32
/
same_crate_proper.rs
55 lines (46 loc) · 1.18 KB
/
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
49
50
51
52
53
54
55
//@ 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() {}
// ferrocene-annotations: fls_tmoh3y9oyqsy
// External Blocks
// ferrocene-annotations: fls_yztwtek0y34v
// External Functions
// ferrocene-annotations: fls_aibb2quva4mn
// Attribute repr