Remove unnecessary mut
binding
This commit is contained in:
parent
65ecc481fa
commit
870a041262
1 changed files with 1 additions and 2 deletions
|
@ -833,11 +833,10 @@ impl<'cx, 'tcx> SelectionContext<'cx, 'tcx> {
|
||||||
/// - it also appears in the backtrace at some position `X`,
|
/// - it also appears in the backtrace at some position `X`,
|
||||||
/// - all the predicates at positions `X..` between `X` and the top are
|
/// - all the predicates at positions `X..` between `X` and the top are
|
||||||
/// also defaulted traits.
|
/// also defaulted traits.
|
||||||
pub fn coinductive_match<I>(&mut self, cycle: I) -> bool
|
pub fn coinductive_match<I>(&mut self, mut cycle: I) -> bool
|
||||||
where
|
where
|
||||||
I: Iterator<Item = ty::Predicate<'tcx>>,
|
I: Iterator<Item = ty::Predicate<'tcx>>,
|
||||||
{
|
{
|
||||||
let mut cycle = cycle;
|
|
||||||
cycle.all(|predicate| self.coinductive_predicate(predicate))
|
cycle.all(|predicate| self.coinductive_predicate(predicate))
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue