{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"OverwritePartialPointer(ptr)"}]}
            OverwritePartialPointer(ptr) | ReadPartialPointer(ptr) => {
            | ReadPointerAsInt(_) => {}
                diag.arg("ptr", ptr);