blob: 45c9e61fcfe28367dbaab5ba1816685a1a8c4d73 [file] [log] [blame]
#![feature(min_generic_const_args)]
//~^ WARN the feature `min_generic_const_args` is incomplete
#![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() {}