Skip to content

Commit

Permalink
Merge pull request #181 from main--/vec-intoiter-fixes
Browse files Browse the repository at this point in the history
vec::IntoIter fixes
  • Loading branch information
fitzgen committed Oct 18, 2022
2 parents 6be3953 + 8e45f75 commit f63d768
Showing 1 changed file with 19 additions and 12 deletions.
31 changes: 19 additions & 12 deletions src/collections/vec.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1941,7 +1941,7 @@ impl<'bump, T: 'bump> ops::DerefMut for Vec<'bump, T> {

impl<'bump, T: 'bump> IntoIterator for Vec<'bump, T> {
type Item = T;
type IntoIter = IntoIter<T>;
type IntoIter = IntoIter<'bump, T>;

/// Creates a consuming iterator, that is, one that moves each value out of
/// the vector (from start to end). The vector cannot be used after calling
Expand All @@ -1961,7 +1961,7 @@ impl<'bump, T: 'bump> IntoIterator for Vec<'bump, T> {
/// }
/// ```
#[inline]
fn into_iter(mut self) -> IntoIter<T> {
fn into_iter(mut self) -> IntoIter<'bump, T> {
unsafe {
let begin = self.as_mut_ptr();
// assume(!begin.is_null());
Expand Down Expand Up @@ -2222,19 +2222,19 @@ impl<'bump, T> Drop for Vec<'bump, T> {
/// (provided by the [`IntoIterator`] trait).
///
/// [`IntoIterator`]: https://doc.rust-lang.org/std/iter/trait.IntoIterator.html
pub struct IntoIter<T> {
phantom: PhantomData<T>,
pub struct IntoIter<'bump, T> {
phantom: PhantomData<&'bump [T]>,
ptr: *const T,
end: *const T,
}

impl<T: fmt::Debug> fmt::Debug for IntoIter<T> {
impl<'bump, T: fmt::Debug> fmt::Debug for IntoIter<'bump, T> {
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
f.debug_tuple("IntoIter").field(&self.as_slice()).finish()
}
}

impl<'bump, T: 'bump> IntoIter<T> {
impl<'bump, T: 'bump> IntoIter<'bump, T> {
/// Returns the remaining items of this iterator as a slice.
///
/// # Examples
Expand Down Expand Up @@ -2276,10 +2276,10 @@ impl<'bump, T: 'bump> IntoIter<T> {
}
}

unsafe impl<T: Send> Send for IntoIter<T> {}
unsafe impl<T: Sync> Sync for IntoIter<T> {}
unsafe impl<'bump, T: Send> Send for IntoIter<'bump, T> {}
unsafe impl<'bump, T: Sync> Sync for IntoIter<'bump, T> {}

impl<'bump, T: 'bump> Iterator for IntoIter<T> {
impl<'bump, T: 'bump> Iterator for IntoIter<'bump, T> {
type Item = T;

#[inline]
Expand Down Expand Up @@ -2320,7 +2320,7 @@ impl<'bump, T: 'bump> Iterator for IntoIter<T> {
}
}

impl<'bump, T: 'bump> DoubleEndedIterator for IntoIter<T> {
impl<'bump, T: 'bump> DoubleEndedIterator for IntoIter<'bump, T> {
#[inline]
fn next_back(&mut self) -> Option<T> {
unsafe {
Expand All @@ -2341,9 +2341,16 @@ impl<'bump, T: 'bump> DoubleEndedIterator for IntoIter<T> {
}
}

impl<'bump, T: 'bump> ExactSizeIterator for IntoIter<T> {}
impl<'bump, T: 'bump> ExactSizeIterator for IntoIter<'bump, T> {}

impl<'bump, T: 'bump> FusedIterator for IntoIter<T> {}
impl<'bump, T: 'bump> FusedIterator for IntoIter<'bump, T> {}

impl<'bump, T> Drop for IntoIter<'bump, T> {
fn drop(&mut self) {
// drop all remaining elements
self.for_each(drop);
}
}

/// A draining iterator for `Vec<'bump, T>`.
///
Expand Down

0 comments on commit f63d768

Please sign in to comment.