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

fn main() {}