2020-04-25 18:01:22 +00:00
|
|
|
// run-rustfix
|
|
|
|
|
2019-05-09 03:55:24 +00:00
|
|
|
#![warn(clippy::while_let_on_iterator)]
|
2021-03-24 13:32:29 +00:00
|
|
|
#![allow(clippy::never_loop, unreachable_code, unused_mut, dead_code)]
|
2015-10-02 07:55:34 +00:00
|
|
|
|
2020-04-25 18:01:22 +00:00
|
|
|
fn base() {
|
2015-10-22 21:16:58 +00:00
|
|
|
let mut iter = 1..20;
|
2016-06-07 16:33:11 +00:00
|
|
|
while let Option::Some(x) = iter.next() {
|
2015-10-16 18:27:13 +00:00
|
|
|
println!("{}", x);
|
|
|
|
}
|
|
|
|
|
2015-10-22 21:16:58 +00:00
|
|
|
let mut iter = 1..20;
|
2016-06-07 16:33:11 +00:00
|
|
|
while let Some(x) = iter.next() {
|
2015-10-16 18:27:13 +00:00
|
|
|
println!("{}", x);
|
|
|
|
}
|
|
|
|
|
2015-10-22 21:16:58 +00:00
|
|
|
let mut iter = 1..20;
|
2016-06-07 16:33:11 +00:00
|
|
|
while let Some(_) = iter.next() {}
|
2017-02-08 13:58:07 +00:00
|
|
|
|
2015-10-22 21:16:58 +00:00
|
|
|
let mut iter = 1..20;
|
|
|
|
while let None = iter.next() {} // this is fine (if nonsensical)
|
2015-10-16 18:27:13 +00:00
|
|
|
|
2015-10-22 21:16:58 +00:00
|
|
|
let mut iter = 1..20;
|
2018-12-09 22:26:16 +00:00
|
|
|
if let Some(x) = iter.next() {
|
|
|
|
// also fine
|
2015-10-16 18:27:13 +00:00
|
|
|
println!("{}", x)
|
|
|
|
}
|
2015-10-19 23:04:21 +00:00
|
|
|
|
|
|
|
// the following shouldn't warn because it can't be written with a for loop
|
|
|
|
let mut iter = 1u32..20;
|
2020-04-25 18:01:22 +00:00
|
|
|
while let Some(_) = iter.next() {
|
2015-10-19 23:04:21 +00:00
|
|
|
println!("next: {:?}", iter.next())
|
|
|
|
}
|
2015-10-26 22:49:37 +00:00
|
|
|
|
|
|
|
// neither can this
|
|
|
|
let mut iter = 1u32..20;
|
2020-04-25 18:01:22 +00:00
|
|
|
while let Some(_) = iter.next() {
|
2015-10-26 22:49:37 +00:00
|
|
|
println!("next: {:?}", iter.next());
|
|
|
|
}
|
|
|
|
|
|
|
|
// or this
|
|
|
|
let mut iter = 1u32..20;
|
2020-04-25 18:01:22 +00:00
|
|
|
while let Some(_) = iter.next() {
|
2015-10-26 22:49:37 +00:00
|
|
|
iter = 1..20;
|
|
|
|
}
|
2015-08-29 09:41:06 +00:00
|
|
|
}
|
2015-10-02 07:55:34 +00:00
|
|
|
|
2016-09-16 13:45:44 +00:00
|
|
|
// Issue #1188
|
|
|
|
fn refutable() {
|
|
|
|
let a = [42, 1337];
|
|
|
|
let mut b = a.iter();
|
|
|
|
|
|
|
|
// consume all the 42s
|
2018-12-09 22:26:16 +00:00
|
|
|
while let Some(&42) = b.next() {}
|
2016-09-16 13:45:44 +00:00
|
|
|
|
|
|
|
let a = [(1, 2, 3)];
|
|
|
|
let mut b = a.iter();
|
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
while let Some(&(1, 2, 3)) = b.next() {}
|
2016-09-16 13:45:44 +00:00
|
|
|
|
|
|
|
let a = [Some(42)];
|
|
|
|
let mut b = a.iter();
|
|
|
|
|
2018-12-09 22:26:16 +00:00
|
|
|
while let Some(&None) = b.next() {}
|
2016-09-16 13:45:44 +00:00
|
|
|
|
|
|
|
/* This gives “refutable pattern in `for` loop binding: `&_` not covered”
|
|
|
|
for &42 in b {}
|
|
|
|
for &(1, 2, 3) in b {}
|
|
|
|
for &Option::None in b.next() {}
|
|
|
|
// */
|
2019-05-06 05:49:45 +00:00
|
|
|
}
|
2017-06-23 16:29:18 +00:00
|
|
|
|
2020-05-11 18:23:47 +00:00
|
|
|
fn refutable2() {
|
|
|
|
// Issue 3780
|
|
|
|
{
|
|
|
|
let v = vec![1, 2, 3];
|
|
|
|
let mut it = v.windows(2);
|
|
|
|
while let Some([x, y]) = it.next() {
|
|
|
|
println!("x: {}", x);
|
|
|
|
println!("y: {}", y);
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut it = v.windows(2);
|
|
|
|
while let Some([x, ..]) = it.next() {
|
|
|
|
println!("x: {}", x);
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut it = v.windows(2);
|
|
|
|
while let Some([.., y]) = it.next() {
|
|
|
|
println!("y: {}", y);
|
|
|
|
}
|
|
|
|
|
|
|
|
let mut it = v.windows(2);
|
|
|
|
while let Some([..]) = it.next() {}
|
|
|
|
|
|
|
|
let v = vec![[1], [2], [3]];
|
|
|
|
let mut it = v.iter();
|
|
|
|
while let Some([1]) = it.next() {}
|
|
|
|
|
|
|
|
let mut it = v.iter();
|
|
|
|
while let Some([_x]) = it.next() {}
|
|
|
|
}
|
|
|
|
|
|
|
|
// binding
|
|
|
|
{
|
|
|
|
let v = vec![1, 2, 3];
|
|
|
|
let mut it = v.iter();
|
|
|
|
while let Some(x @ 1) = it.next() {
|
|
|
|
println!("{}", x);
|
|
|
|
}
|
|
|
|
|
|
|
|
let v = vec![[1], [2], [3]];
|
|
|
|
let mut it = v.iter();
|
|
|
|
while let Some(x @ [_]) = it.next() {
|
|
|
|
println!("{:?}", x);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// false negative
|
|
|
|
{
|
|
|
|
let v = vec![1, 2, 3];
|
|
|
|
let mut it = v.iter().map(Some);
|
|
|
|
while let Some(Some(_) | None) = it.next() {
|
|
|
|
println!("1");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2019-05-06 05:49:45 +00:00
|
|
|
fn nested_loops() {
|
|
|
|
let a = [42, 1337];
|
2017-07-31 22:58:26 +00:00
|
|
|
|
|
|
|
loop {
|
|
|
|
let mut y = a.iter();
|
2020-04-25 18:01:22 +00:00
|
|
|
while let Some(_) = y.next() {
|
2018-12-09 22:26:16 +00:00
|
|
|
// use a for loop here
|
2017-06-23 16:29:18 +00:00
|
|
|
}
|
|
|
|
}
|
2019-05-06 05:49:45 +00:00
|
|
|
}
|
2017-09-05 20:28:30 +00:00
|
|
|
|
2019-05-06 05:49:45 +00:00
|
|
|
fn issue1121() {
|
2018-01-29 15:52:22 +00:00
|
|
|
use std::collections::HashSet;
|
|
|
|
let mut values = HashSet::new();
|
|
|
|
values.insert(1);
|
|
|
|
|
|
|
|
while let Some(&value) = values.iter().next() {
|
|
|
|
values.remove(&value);
|
|
|
|
}
|
2019-05-06 05:49:45 +00:00
|
|
|
}
|
2018-07-28 09:51:46 +00:00
|
|
|
|
2019-05-06 05:49:45 +00:00
|
|
|
fn issue2965() {
|
2021-05-13 01:41:59 +00:00
|
|
|
// This should not cause an ICE
|
|
|
|
|
2019-05-06 05:49:45 +00:00
|
|
|
use std::collections::HashSet;
|
|
|
|
let mut values = HashSet::new();
|
|
|
|
values.insert(1);
|
|
|
|
|
2020-04-25 18:51:23 +00:00
|
|
|
while let Some(..) = values.iter().next() {}
|
2019-05-06 05:49:45 +00:00
|
|
|
}
|
2019-01-19 09:36:27 +00:00
|
|
|
|
2019-05-06 05:49:45 +00:00
|
|
|
fn issue3670() {
|
|
|
|
let array = [Some(0), None, Some(1)];
|
|
|
|
let mut iter = array.iter();
|
2019-01-19 09:36:27 +00:00
|
|
|
|
2019-05-06 05:49:45 +00:00
|
|
|
while let Some(elem) = iter.next() {
|
|
|
|
let _ = elem.or_else(|| *iter.next()?);
|
2019-01-19 09:36:27 +00:00
|
|
|
}
|
2016-09-16 13:45:44 +00:00
|
|
|
}
|
2020-04-25 18:01:22 +00:00
|
|
|
|
2020-04-25 18:51:23 +00:00
|
|
|
fn issue1654() {
|
|
|
|
// should not lint if the iterator is generated on every iteration
|
|
|
|
use std::collections::HashSet;
|
|
|
|
let mut values = HashSet::new();
|
|
|
|
values.insert(1);
|
|
|
|
|
|
|
|
while let Some(..) = values.iter().next() {
|
|
|
|
values.remove(&1);
|
|
|
|
}
|
|
|
|
|
|
|
|
while let Some(..) = values.iter().map(|x| x + 1).next() {}
|
|
|
|
|
|
|
|
let chars = "Hello, World!".char_indices();
|
|
|
|
while let Some((i, ch)) = chars.clone().next() {
|
|
|
|
println!("{}: {}", i, ch);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2021-03-24 13:32:29 +00:00
|
|
|
fn issue6491() {
|
|
|
|
// Used in outer loop, needs &mut
|
|
|
|
let mut it = 1..40;
|
|
|
|
while let Some(n) = it.next() {
|
|
|
|
while let Some(m) = it.next() {
|
|
|
|
if m % 10 == 0 {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
println!("doing something with m: {}", m);
|
|
|
|
}
|
|
|
|
println!("n still is {}", n);
|
|
|
|
}
|
|
|
|
|
|
|
|
// This is fine, inner loop uses a new iterator.
|
|
|
|
let mut it = 1..40;
|
|
|
|
while let Some(n) = it.next() {
|
|
|
|
let mut it = 1..40;
|
|
|
|
while let Some(m) = it.next() {
|
|
|
|
if m % 10 == 0 {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
println!("doing something with m: {}", m);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Weird binding shouldn't change anything.
|
|
|
|
let (mut it, _) = (1..40, 0);
|
|
|
|
while let Some(m) = it.next() {
|
|
|
|
if m % 10 == 0 {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
println!("doing something with m: {}", m);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Used after the loop, needs &mut.
|
|
|
|
let mut it = 1..40;
|
|
|
|
while let Some(m) = it.next() {
|
|
|
|
if m % 10 == 0 {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
println!("doing something with m: {}", m);
|
|
|
|
}
|
|
|
|
println!("next item {}", it.next().unwrap());
|
|
|
|
|
|
|
|
println!("n still is {}", n);
|
|
|
|
}
|
2020-04-25 18:01:22 +00:00
|
|
|
}
|
2021-03-24 13:32:29 +00:00
|
|
|
|
|
|
|
fn issue6231() {
|
|
|
|
// Closure in the outer loop, needs &mut
|
|
|
|
let mut it = 1..40;
|
|
|
|
let mut opt = Some(0);
|
|
|
|
while let Some(n) = opt.take().or_else(|| it.next()) {
|
|
|
|
while let Some(m) = it.next() {
|
|
|
|
if n % 10 == 0 {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
println!("doing something with m: {}", m);
|
|
|
|
}
|
|
|
|
println!("n still is {}", n);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn issue1924() {
|
|
|
|
struct S<T>(T);
|
|
|
|
impl<T: Iterator<Item = u32>> S<T> {
|
|
|
|
fn f(&mut self) -> Option<u32> {
|
|
|
|
// Used as a field.
|
|
|
|
while let Some(i) = self.0.next() {
|
|
|
|
if i < 3 || i > 7 {
|
|
|
|
return Some(i);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
None
|
|
|
|
}
|
|
|
|
|
|
|
|
fn f2(&mut self) -> Option<u32> {
|
|
|
|
// Don't lint, self borrowed inside the loop
|
|
|
|
while let Some(i) = self.0.next() {
|
|
|
|
if i == 1 {
|
|
|
|
return self.f();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
impl<T: Iterator<Item = u32>> S<(S<T>, Option<u32>)> {
|
|
|
|
fn f3(&mut self) -> Option<u32> {
|
|
|
|
// Don't lint, self borrowed inside the loop
|
|
|
|
while let Some(i) = self.0.0.0.next() {
|
|
|
|
if i == 1 {
|
|
|
|
return self.0.0.f();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
while let Some(i) = self.0.0.0.next() {
|
|
|
|
if i == 1 {
|
|
|
|
return self.f3();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// This one is fine, a different field is borrowed
|
|
|
|
while let Some(i) = self.0.0.0.next() {
|
|
|
|
if i == 1 {
|
|
|
|
return self.0.1.take();
|
2021-04-13 13:30:01 +00:00
|
|
|
} else {
|
|
|
|
self.0.1 = Some(i);
|
2021-03-24 13:32:29 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
struct S2<T>(T, u32);
|
|
|
|
impl<T: Iterator<Item = u32>> Iterator for S2<T> {
|
|
|
|
type Item = u32;
|
|
|
|
fn next(&mut self) -> Option<u32> {
|
|
|
|
self.0.next()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Don't lint, field of the iterator is accessed in the loop
|
|
|
|
let mut it = S2(1..40, 0);
|
|
|
|
while let Some(n) = it.next() {
|
|
|
|
if n == it.1 {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Needs &mut, field of the iterator is accessed after the loop
|
|
|
|
let mut it = S2(1..40, 0);
|
|
|
|
while let Some(n) = it.next() {
|
|
|
|
if n == 0 {
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
println!("iterator field {}", it.1);
|
|
|
|
}
|
|
|
|
|
2021-04-13 13:30:01 +00:00
|
|
|
fn main() {
|
|
|
|
let mut it = 0..20;
|
|
|
|
while let Some(..) = it.next() {
|
|
|
|
println!("test");
|
|
|
|
}
|
|
|
|
}
|