{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"CastKind::PointerExposeProvenance"}]}
            CastKind::PointerExposeProvenance => {
                let src = self.read_immediate(src)?;