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