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