{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":");"}]}
                );
                    alloc_size.bytes().saturating_sub(ptr_offset as u64),
                diag.arg("operation", format!("{:?}", msg));