//@ check-pass #![allow(forgetting_copy_types)] const _: () = core::mem::forget(Box::::default); const _: () = core::mem::forget(|| Box::::default()); fn main() {}