#![allow(dead_code, deprecated, unused_variables, unused_mut)]
#![feature(transmutability)]
use core::mem::Assume;
fn main() {
    let assumptions = Assume::ALIGNMENT.and(Assume::SAFETY);
    let to_be_removed = Assume::SAFETY.and(Assume::VALIDITY);
    assert_eq!(assumptions.but_not(to_be_removed), Assume::ALIGNMENT,);
}