Another set use

rust-lang · Dec 15, 2021 · 28c30d2 · 28c30d2
1 parent 72c573e
commit 28c30d2
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/chalk-integration/src/lowering.rs b/chalk-integration/src/lowering.rs
@@ -561,7 +561,7 @@ impl LowerWithEnv for QuantifiedInlineBound {
 }
 
 impl LowerWithEnv for [QuantifiedInlineBound] {
-    type Lowered = IndexSet<rust_ir::QuantifiedInlineBound<ChalkIr>>;
+    type Lowered = IndexSet<Binders<InlineBound<ChalkIr>>>;
 
     fn lower(&self, env: &Env) -> LowerResult<Self::Lowered> {
         fn trait_identifier(bound: &InlineBound) -> &Identifier {
@@ -571,15 +571,15 @@ impl LowerWithEnv for [QuantifiedInlineBound] {
             }
         }
 
-        let mut regular_traits = Vec::new();
-        let mut auto_traits = Vec::new();
+        let mut regular_traits = IndexSet::new();
+        let mut auto_traits = IndexSet::new();
 
         for b in self {
             let id = env.lookup_trait(trait_identifier(&b.bound))?;
             if env.auto_trait(id) {
-                auto_traits.push((b, id))
+                auto_traits.insert((b, id));
             } else {
-                regular_traits.push((b, id))
+                regular_traits.insert((b, id));
             }
         }