tests/ui/transmute/issue-115402-overflow-size.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

#![crate_type = "lib"]
#![feature(transmutability)]
mod assert {
    use std::mem::BikeshedIntrinsicFrom;
    struct Context;

    pub fn is_maybe_transmutable<Src, Dst>()
    where
        Dst: BikeshedIntrinsicFrom<Src, Context>,
    {
    }
}

fn main() {
    pub union Uninit {
        a: [u8; usize::MAX],
    }

    #[repr(C)]
    struct ExplicitlyPadded(Uninit);

    assert::is_maybe_transmutable::<(), ExplicitlyPadded>();
    //~^ ERROR `()` cannot be safely transmuted into `ExplicitlyPadded`

    assert::is_maybe_transmutable::<ExplicitlyPadded, ()>();
    //~^ ERROR `ExplicitlyPadded` cannot be safely transmuted into `()`
}