#![feature(custom_inner_attributes)]

pub fn main() {
    #![you_can::turn_off_the_borrow_checker]

    let mut owned = vec![1, 32];

    // unsound mutable aliasing
    let mut_1 = &mut owned[0];
    let mut_2 = &mut owned[1];

    // use after free
    drop(owned);
    let undefined = *mut_1 + *mut_2;
    println!("{undefined}");
}