{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":".to_string(),"}]}
                .to_string(),
            "Call(tmp = core::intrinsics::abort(), ReturnTo(bb1), UnwindUnreachable())\n"
        );