//@compile-flags: -Zmiri-strict-provenance
+#![feature(iter_advance_by, iter_next_chunk)]
+
// Gather all references from a mutable iterator and make sure Miri notices if
// using them is dangerous.
fn test_all_refs<'a, T: 'a>(dummy: &mut T, iter: impl Iterator<Item = &'a mut T>) {
}
fn vec_into_iter_rev() -> u8 {
- vec![1, 2, 3, 4].into_iter().map(|x| x * x).fold(0, |x, y| x + y)
+ vec![1, 2, 3, 4].into_iter().rev().map(|x| x * x).fold(0, |x, y| x + y)
}
-fn vec_into_iter_zst() -> usize {
- vec![[0u64; 0], [0u64; 0]].into_iter().rev().map(|x| x.len()).sum()
+fn vec_into_iter_zst() {
+ for _ in vec![[0u64; 0]].into_iter() {}
+ let v = vec![[0u64; 0], [0u64; 0]].into_iter().map(|x| x.len()).sum::<usize>();
+ assert_eq!(v, 0);
+
+ let mut it = vec![[0u64; 0], [0u64; 0]].into_iter();
+ it.advance_by(1).unwrap();
+ drop(it);
+
+ let mut it = vec![[0u64; 0], [0u64; 0]].into_iter();
+ it.next_chunk::<1>().unwrap();
+ drop(it);
+
+ let mut it = vec![[0u64; 0], [0u64; 0]].into_iter();
+ it.next_chunk::<4>().unwrap_err();
+ drop(it);
}
-fn vec_into_iter_rev_zst() -> usize {
- vec![[0u64; 0], [0u64; 0]].into_iter().rev().map(|x| x.len()).sum()
+fn vec_into_iter_rev_zst() {
+ for _ in vec![[0u64; 0]; 5].into_iter().rev() {}
+ let v = vec![[0u64; 0], [0u64; 0]].into_iter().rev().map(|x| x.len()).sum::<usize>();
+ assert_eq!(v, 0);
}
fn vec_iter_and_mut() {
assert_eq!(vec_into_iter(), 30);
assert_eq!(vec_into_iter_rev(), 30);
vec_iter_and_mut();
- assert_eq!(vec_into_iter_zst(), 0);
- assert_eq!(vec_into_iter_rev_zst(), 0);
+ vec_into_iter_zst();
+ vec_into_iter_rev_zst();
vec_iter_and_mut_rev();
assert_eq!(make_vec().capacity(), 4);