{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"OpaqueCast(ty)"}]}
            OpaqueCast(ty) => {
        interp_ok(match proj_elem {
                span_bug!(self.cur_span(), "OpaqueCast({ty}) encountered after borrowck")