{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"kind:"}]}
        kind: MemoryKind<M::MemoryKind>,
        alloc: Allocation<M::Provenance, (), M::Bytes>,
    ) -> InterpResult<'tcx, Pointer<M::Provenance>> {