#![feature(box_syntax, custom_attribute, attr_literals)]
#![miri(memory_size=1000)]

fn main() {
    loop {
        ::std::mem::forget(box 42); //~ ERROR tried to allocate 4 more bytes
    }
}