{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"MemoryKind::Machine(k)"}]}
            MemoryKind::Machine(k) => k.may_leak(),
            MemoryKind::CallerLocation => true,
        }