{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"PointerUseAfterFree(alloc_id,"}]}
            PointerUseAfterFree(alloc_id, msg) => {
            }
                diag.arg("alloc_id", alloc_id).arg("operation", format!("{:?}", msg));