// 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() {} |