bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add another assert

Browse source
This commit is contained in:
MaloJaffre 2018-08-29 13:39:57 +02:00
parent 1908892d3f
commit 21d2a6c986
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/liballoc/collections/vec_deque.rs
View file

@ -19,6 +19,7 @@
use core::cmp::Ordering; use core::cmp::Ordering;
use core::fmt; use core::fmt;
use core::isize;
use core::iter::{repeat, FromIterator, FusedIterator}; use core::iter::{repeat, FromIterator, FusedIterator};
use core::mem; use core::mem;
use core::ops::Bound::{Excluded, Included, Unbounded}; use core::ops::Bound::{Excluded, Included, Unbounded};
@ -210,6 +211,9 @@ impl<T> VecDeque<T> {
/// If so, this function never panics. /// If so, this function never panics.
#[inline] #[inline]
unsafe fn copy_slice(&mut self, src: &[T]) { unsafe fn copy_slice(&mut self, src: &[T]) {
/// This is guaranteed by `RawVec`.
debug_assert!(self.capacity() <= isize::MAX as usize);
let expected_new_len = self.len() + src.len(); let expected_new_len = self.len() + src.len();
debug_assert!(self.capacity() >= expected_new_len); debug_assert!(self.capacity() >= expected_new_len);