src/test/ui/static/static-extern-type.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

// build-pass (FIXME(62277): could be check-pass?)
#![feature(extern_types)]

pub mod a {
    extern "C" {
        pub type StartFn;
        pub static start: StartFn;
    }
}

pub mod b {
    #[repr(transparent)]
    pub struct TransparentType(::a::StartFn);
    extern "C" {
        pub static start: TransparentType;
    }
}

pub mod c {
    #[repr(C)]
    pub struct CType(u32, ::b::TransparentType);
    extern "C" {
        pub static start: CType;
    }
}

fn main() {}