tests/ui/transmutability/non_scalar_alignment_value.rs

#![feature(min_generic_const_args)]

#![feature(transmutability)]

mod assert {
    use std::mem::{Assume, TransmuteFrom};
    struct Dst {}
    fn is_maybe_transmutable()
    where
        Dst: TransmuteFrom<
            (),
            {
                Assume {
                    alignment: Assume {},
                    //~^ ERROR struct expression with missing field initialiser for `alignment`
                    //~| ERROR struct expression with missing field initialiser for `lifetimes`
                    //~| ERROR struct expression with missing field initialiser for `safety`
                    //~| ERROR struct expression with missing field initialiser for `validity`
                    lifetimes: const { true },
                    safety: const { true },
                    validity: const { true },
                }
            },
        >,
    {
    }
}

fn main() {}