From d2d2386cd02db3342060858ede1886f1d8aceba6 Mon Sep 17 00:00:00 2001 From: Caleb Robson <94545082+Spartan2909@users.noreply.github.com> Date: Wed, 14 Jun 2023 05:43:09 +0100 Subject: [PATCH] Fix typo (#1697) * Fix typo * Fix typo in typo fix * add missing word --------- Co-authored-by: Tshepang Mbambo --- src/traits/resolution.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/traits/resolution.md b/src/traits/resolution.md index 639ebbdec..8fd4272a8 100644 --- a/src/traits/resolution.md +++ b/src/traits/resolution.md @@ -247,7 +247,7 @@ In this second selection, we do not consider any where-clauses to be in scope because we know that each resolution will resolve to a particular impl. One interesting twist has to do with nested obligations. In general, in codegen, -we only to figure out which candidate applies, we do not care about nested obligations, +we only need to figure out which candidate applies, and we do not care about nested obligations, as these are already assumed to be true. Nonetheless, we *do* currently fulfill all of them. That is because it can sometimes inform the results of type inference. That is, we do not have the full substitutions in terms of the type variables