Address feedback

zaharidichev · zaharidichev · commit f8b72c191a51 · 2020-05-22T22:47:20.000+03:00
Signed-off-by: Zahari Dichev &lt;zaharidichev@gmail.com&gt;
diff --git a/chalk-engine/src/logic.rs b/chalk-engine/src/logic.rs
@@ -1314,9 +1314,9 @@ impl<'forest, C: Context + 'forest, CO: ContextOps<C> + 'forest> SolveState<'for
             return None;
         }
 
-        let table = self.stack.top().table;
         let table_goal = &self.forest.tables[table].table_goal;
 
+        //FIXME: Avoid double canonicalization
         let filtered_delayed_subgoals = delayed_subgoals
             .into_iter()
             .filter(|delayed_subgoal| {

Original file line number	Diff line number	Diff line change
`@@ -1314,9 +1314,9 @@ impl<'forest, C: Context + 'forest, CO: ContextOps<C> + 'forest> SolveState<'for`
`1314`	`1314`	`return None;`
`1315`	`1315`	`}`
`1316`	`1316`
`1317`		`- let table = self.stack.top().table;`
`1318`	`1317`	`let table_goal = &self.forest.tables[table].table_goal;`
`1319`	`1318`
	`1319`	`+ //FIXME: Avoid double canonicalization`
`1320`	`1320`	`let filtered_delayed_subgoals = delayed_subgoals`
`1321`	`1321`	`.into_iter()`
`1322`	`1322`	`.filter(\|delayed_subgoal\| {`