9c09dd51f9
improve search graph docs, reset `encountered_overflow` between reruns I think this shouldn't really matter for now. It will be more relevant for my current rework as we otherwise cannot partially reevaluate the root goal in case there has been overflow during the prervious iteration. r? ````@BoxyUwU```` |
||
|---|---|---|
| .. | ||
| solve | ||
| canonicalizer.rs | ||
| coherence.rs | ||
| delegate.rs | ||
| lib.rs | ||
| placeholder.rs | ||
| resolve.rs | ||