Revert "Replace assertion"

pierwill · pierwill · commit d60885236e09 · 2021-12-23T09:49:37.000-06:00
This reverts commit 0c6d806.
diff --git a/chalk-solve/src/coherence.rs b/chalk-solve/src/coherence.rs
@@ -61,8 +61,7 @@ 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) {
-        let old_value = self.map.insert(impl_id, p);
-        assert!(old_value.is_none());
+        self.map.insert(impl_id, p);
     }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -61,8 +61,7 @@ impl<I: Interner> SpecializationPriorities<I> {`
`61`	`61`	`/// Store the priority of an impl (used during construction).`
`62`	`62`	`/// Panics if we have already stored the priority for this impl.`
`63`	`63`	`fn insert(&mut self, impl_id: ImplId<I>, p: SpecializationPriority) {`
`64`		`- let old_value = self.map.insert(impl_id, p);`
`65`		`- assert!(old_value.is_none());`
	`64`	`+ self.map.insert(impl_id, p);`
`66`	`65`	`}`
`67`	`66`	`}`
`68`	`67`