{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"interp_ok(Some(AllocRefMut"}]}
            interp_ok(Some(AllocRefMut { alloc, range, tcx: *tcx, alloc_id }))
            }
        } else {