Merge pull request #501 from Areredify/binders_iter

remove IntoIterator impl for &Binders

Author: jackh726

chalk-ir/src/lib.rs

@@ -1655,22 +1655,6 @@ where
     }
 }
 
-/// Allows iterating over a `&Binders<Vec<T>>`, for instance. Each
-/// element will be a `Binders<&T>`.
-impl<'a, V> IntoIterator for &'a Binders<V>
-where
-    V: HasInterner,
-    &'a V: IntoIterator,
-    <&'a V as IntoIterator>::Item: HasInterner<Interner = V::Interner>,
-{
-    type Item = Binders<<&'a V as IntoIterator>::Item>;
-    type IntoIter = BindersIntoIterator<&'a V>;
-
-    fn into_iter(self) -> Self::IntoIter {
-        self.map_ref(|r| r).into_iter()
-    }
-}
-
 /// Allows iterating over a Binders<Vec<T>>, for instance.
 /// Each element will include the same set of parameter bounds.
 impl<V, U> IntoIterator for Binders<V>

chalk-solve/src/clauses/program_clauses.rs

@@ -168,7 +168,7 @@ impl<I: Interner> ToProgramClauses<I> for OpaqueTyDatum<I> {
             ));
 
             let substitution = Substitution::from1(interner, alias_placeholder_ty.clone());
-            for bound in &opaque_ty_bound.bounds {
+            for bound in opaque_ty_bound.bounds {
                 // Implemented(!T<..>: Bound).
                 let bound_with_placeholder_ty = bound.substitute(interner, &substitution);
                 builder.push_binders(&bound_with_placeholder_ty, |builder, bound| {