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