{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"PointerExposeProvenance"}]}
            PointerExposeProvenance => crate::mir::CastKind::PointerExposeAddress,
        match self {
            PointerWithExposedProvenance => crate::mir::CastKind::PointerWithExposedProvenance,