merge_batcher: fix a Miri warning#396

antiguru merged 1 commit into

TimelyDataflow:masterTimelyDataflow/differential-dataflow:masterfrom

teskje:fix-push_unchecked-miriteskje/differential-dataflow:fix-push_unchecked-miriCopy head branch name to clipboard