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