Skip to content

Commit d2d2386

Browse files
Fix typo (#1697)
* Fix typo * Fix typo in typo fix * add missing word --------- Co-authored-by: Tshepang Mbambo <[email protected]>
1 parent f3d601f commit d2d2386

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/traits/resolution.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -247,7 +247,7 @@ In this second selection, we do not consider any where-clauses to be in scope
247247
because we know that each resolution will resolve to a particular impl.
248248

249249
One interesting twist has to do with nested obligations. In general, in codegen,
250-
we only to figure out which candidate applies, we do not care about nested obligations,
250+
we only need to figure out which candidate applies, and we do not care about nested obligations,
251251
as these are already assumed to be true. Nonetheless, we *do* currently fulfill all of them.
252252
That is because it can sometimes inform the results of type inference.
253253
That is, we do not have the full substitutions in terms of the type variables

0 commit comments

Comments
 (0)