{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"bx.abort();"}]}
            bx.abort();
        if is_call_from_compiler_builtins_to_upstream_monomorphization(bx.tcx(), instance) {
        } else {