mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix typo

This commit is contained in:
Mark Mansi 2018-03-12 12:54:19 -05:00
parent e19b1e23b5
commit 68063bc768
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/traits-canonicalization.md
View File

@ -218,7 +218,7 @@ for later verification.
than eagerly instantiating all of the canonical values in the result than eagerly instantiating all of the canonical values in the result
with variables, we instead walk the vector of values, looking for with variables, we instead walk the vector of values, looking for
cases where the value is just a canonical variable. In our example, cases where the value is just a canonical variable. In our example,
`values[2]` is `?C`, so that we means we can deduce that `?C := ?B and `values[2]` is `?C`, so that means we can deduce that `?C := ?B and
`'?D := 'static`. This gives us a partial set of values. Anything for `'?D := 'static`. This gives us a partial set of values. Anything for
which we do not find a value, we create an inference variable.) which we do not find a value, we create an inference variable.)