{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"\"pointer\","}]}
                        "pointer",
                    diag.arg(
                        Pointer::<Option<CtfeProvenance>>::without_provenance(addr).to_string(),