rust/tests/ui/while_let_on_iterator.rs

219 lines
4.7 KiB
Rust
Raw Normal View History

2020-04-25 18:01:22 +00:00
// run-rustfix
#![warn(clippy::while_let_on_iterator)]
2020-04-25 18:01:22 +00:00
#![allow(clippy::never_loop, unreachable_code, unused_mut)]
#![feature(or_patterns)]
2015-10-02 07:55:34 +00:00
2020-04-25 18:01:22 +00:00
fn base() {
let mut iter = 1..20;
while let Option::Some(x) = iter.next() {
println!("{}", x);
}
let mut iter = 1..20;
while let Some(x) = iter.next() {
println!("{}", x);
}
let mut iter = 1..20;
while let Some(_) = iter.next() {}
2017-02-08 13:58:07 +00:00
let mut iter = 1..20;
while let None = iter.next() {} // this is fine (if nonsensical)
let mut iter = 1..20;
2018-12-09 22:26:16 +00:00
if let Some(x) = iter.next() {
// also fine
println!("{}", x)
}
// 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() {
println!("next: {:?}", iter.next())
}
// neither can this
let mut iter = 1u32..20;
2020-04-25 18:01:22 +00:00
while let Some(_) = iter.next() {
println!("next: {:?}", iter.next());
}
// or this
let mut iter = 1u32..20;
2020-04-25 18:01:22 +00:00
while let Some(_) = iter.next() {
2018-12-09 22:26:16 +00:00
break;
}
println!("Remaining iter {:?}", iter);
// or this
let mut iter = 1u32..20;
2020-04-25 18:01:22 +00:00
while let Some(_) = iter.next() {
iter = 1..20;
}
}
2015-10-02 07:55:34 +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() {}
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() {}
let a = [Some(42)];
let mut b = a.iter();
2018-12-09 22:26:16 +00:00
while let Some(&None) = b.next() {}
/* 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() {}
// */
}
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");
}
}
}
fn nested_loops() {
let a = [42, 1337];
2017-06-30 00:43:52 +00:00
let mut y = a.iter();
2018-12-09 22:26:16 +00:00
loop {
// x is reused, so don't lint here
2020-04-25 18:01:22 +00:00
while let Some(_) = y.next() {}
}
2017-06-30 00:43:52 +00:00
let mut y = a.iter();
for _ in 0..2 {
2020-04-25 18:01:22 +00:00
while let Some(_) = y.next() {
2018-12-09 22:26:16 +00:00
// y is reused, don't lint
}
}
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
}
}
}
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);
}
}
fn issue2965() {
// This should not cause an ICE and suggest:
//
// for _ in values.iter() {}
//
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() {}
}
fn issue3670() {
let array = [Some(0), None, Some(1)];
let mut iter = array.iter();
while let Some(elem) = iter.next() {
let _ = elem.or_else(|| *iter.next()?);
}
}
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);
}
}
2020-04-25 18:01:22 +00:00
fn main() {
base();
refutable();
refutable2();
2020-04-25 18:01:22 +00:00
nested_loops();
issue1121();
issue2965();
issue3670();
2020-04-25 18:51:23 +00:00
issue1654();
2020-04-25 18:01:22 +00:00
}