fix a couple of stylistic clippy warnings

namely:

clippy::redundant_pattern_matching
clippy::redundant_pattern
clippy::search_is_some
clippy::filter_next
clippy::into_iter_on_ref
clippy::clone_on_copy
clippy::needless_return
This commit is contained in:
Matthias Krüger 2020-09-15 22:36:43 +02:00
parent a874956d94
commit 73d4171ea6
9 changed files with 10 additions and 12 deletions

View file

@ -126,7 +126,7 @@ impl OptimizationFinder<'b, 'tcx> {
}
}
return None;
None
}
}