fn main() {
    std::process::abort!();
    //~^ ERROR: failed to resolve
}