Lines Matching defs:gap
39366 // Fill gap where stolen elements used to be.
39379 // Fill gap where stolen edges used to be.
48386 let mut gap = FillGapOnDrop { read: 1, write: 1, vec: self };
48387 let ptr = gap.vec.as_mut_ptr();
48395 while gap.read < len {
48396 let read_ptr = ptr.add(gap.read);
48397 let prev_ptr = ptr.add(gap.write.wrapping_sub(1));
48403 let write_ptr = ptr.add(gap.write);
48411 gap.write += 1;
48414 gap.read += 1;
48417 /* Technically we could let `gap` clean up with its Drop, but
48420 gap.vec.set_len(gap.write);
48421 mem::forget(gap);