From 57b4e5dbdb6441c0b1a788ddc700cd650eb87237 Mon Sep 17 00:00:00 2001 From: pierwill Date: Thu, 23 Dec 2021 10:37:58 -0600 Subject: [PATCH] comment code --- chalk-solve/src/coherence.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/chalk-solve/src/coherence.rs b/chalk-solve/src/coherence.rs index be98b9f7a4a..b0b8ae3d8b6 100644 --- a/chalk-solve/src/coherence.rs +++ b/chalk-solve/src/coherence.rs @@ -118,7 +118,7 @@ where node_impls.contains(&more_special), ) { (true, true) => { - // but how do we get indices for l and m? + // get existing indices for less_special and more_special let l = forest .node_indices() .find(|i| forest[*i] == less_special) @@ -131,6 +131,7 @@ where } (true, false) => { let m = forest.add_node(more_special); + // get existing index for less_special let l = forest .node_indices() .find(|i| forest[*i] == less_special) @@ -139,6 +140,7 @@ where } (false, true) => { let l = forest.add_node(less_special); + // get existing index for more_special let m = forest .node_indices() .find(|i| forest[*i] == more_special)