{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"reached_recursion_limit,"}]}
        reached_recursion_limit,
        opt_bad_ty: opt_bad_ty.map(|ty| &*tcx.arena.alloc(ty)),
    }