From 4b15de49855302fb10ddd0d8073367e2426ba808 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 639ebbde..8fd4272a 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