this is fine

rust-lang · Dec 17, 2021 · 814d41f · 814d41f
1 parent d270a5e
commit 814d41f
Showing 1 changed file with 0 additions and 12 deletions.
diff --git a/chalk-solve/src/coherence.rs b/chalk-solve/src/coherence.rs
@@ -61,18 +61,6 @@ impl<I: Interner> SpecializationPriorities<I> {
     /// Store the priority of an impl (used during construction).
     /// Panics if we have already stored the priority for this impl.
     fn insert(&mut self, impl_id: ImplId<I>, p: SpecializationPriority) {
-        // FIXME:
-        // Previously, the code was:
-        //
-        // ```
-        // let old_value = self.map.insert(impl_id, p);
-        // assert!(old_value.is_none());
-        // ```
-        //
-        // `SpecializationPriority::build_specialization_forest`
-        // has a check to ensure we don't add duplicate nodes.
-        // *However*, The tests only pass after removing the assertion here.
-        // We should make sure this is correct.
         self.map.insert(impl_id, p);
     }
 }