Skip to content

Commit 0ac6625

Browse files
committed
Add fixme note
1 parent c396496 commit 0ac6625

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

chalk-solve/src/coherence.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -107,8 +107,9 @@ where
107107

108108
// Build the forest of specialization relationships.
109109
fn build_specialization_forest(&self) -> Result<Graph<ImplId<I>, ()>, CoherenceError<I>> {
110-
// The forest is returned as a graph but built as a GraphMap; this is
110+
// FIXME(pierwill): Previously, the forest was built as a GraphMap
111111
// so that we never add multiple nodes with the same ItemId.
112+
// Will need to add a check for this.
112113
let mut forest = DiGraph::new();
113114

114115
// Find all specializations (implemented in coherence/solve)

0 commit comments

Comments
 (0)