{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"OpaqueCast(ty)"}]}
            OpaqueCast(ty) => crate::mir::ProjectionElem::OpaqueCast(ty.stable(tables, cx)),
            Downcast(_, idx) => crate::mir::ProjectionElem::Downcast(idx.stable(tables, cx)),
            Subtype(ty) => crate::mir::ProjectionElem::Subtype(ty.stable(tables, cx)),