Revert "Attempt to simplify graph logic"

This reverts commit 1b8f032.

Author: pierwill

chalk-solve/src/coherence.rs

@@ -108,15 +108,19 @@ where
     fn build_specialization_forest(&self) -> Result<Graph<ImplId<I>, ()>, CoherenceError<I>> {
         let mut forest = DiGraph::new();
 
+        let node_impls: Vec<ImplId<_>> = forest.raw_nodes().iter().map(|x| x.weight).collect();
+
         // Find all specializations (implemented in coherence/solve)
         // Record them in the forest by adding an edge from the less special
         // to the more special.
         self.visit_specializations_of_trait(|less_special, more_special| {
             // Check so that we never add multiple nodes with the same ImplId.
-            let l = forest.add_node(less_special);
-            let m = forest.add_node(more_special);
+            if !node_impls.contains(&less_special) && !node_impls.contains(&more_special) {
+                let l = forest.add_node(less_special);
+                let m = forest.add_node(more_special);
 
-            forest.update_edge(l, m, ());
+                forest.add_edge(l, m, ());
+            }
         })?;
 
         Ok(forest)