#![needs_allocator] //~ ERROR the `#[needs_allocator]` attribute is

fn main() {}