{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"Rvalue::Cast(CastKind::PointerWithExposedProvenance,"}]}
            Rvalue::Cast(CastKind::PointerWithExposedProvenance, _, _) => {
            }
                // Since no pointer can ever get exposed (rejected above), this is easy to support.