{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"size:"}]}
        size: Size,
        ptr: Pointer<Option<M::Provenance>>,
    ) -> InterpResult<'tcx, Option<(AllocId, Size, M::ProvenanceExtra)>> {