We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1b8f032 commit 6ac9d94Copy full SHA for 6ac9d94
chalk-solve/src/coherence.rs
@@ -61,7 +61,8 @@ impl<I: Interner> SpecializationPriorities<I> {
61
/// Store the priority of an impl (used during construction).
62
/// Panics if we have already stored the priority for this impl.
63
fn insert(&mut self, impl_id: ImplId<I>, p: SpecializationPriority) {
64
- self.map.insert(impl_id, p);
+ let old_value = self.map.insert(impl_id, p);
65
+ assert!(old_value.is_none());
66
}
67
68
0 commit comments