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