We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 34d8011 commit 57b4e5dCopy full SHA for 57b4e5d
chalk-solve/src/coherence.rs
@@ -118,7 +118,7 @@ where
118
node_impls.contains(&more_special),
119
) {
120
(true, true) => {
121
- // but how do we get indices for l and m?
+ // get existing indices for less_special and more_special
122
let l = forest
123
.node_indices()
124
.find(|i| forest[*i] == less_special)
@@ -131,6 +131,7 @@ where
131
}
132
(true, false) => {
133
let m = forest.add_node(more_special);
134
+ // get existing index for less_special
135
136
137
@@ -139,6 +140,7 @@ where
139
140
141
(false, true) => {
142
let l = forest.add_node(less_special);
143
+ // get existing index for more_special
144
let m = forest
145
146
.find(|i| forest[*i] == more_special)
0 commit comments