diff options
| -rw-r--r-- | src/librustc/infer/README.md | 2 | ||||
| -rw-r--r-- | src/librustc_typeck/README.md | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/librustc/infer/README.md b/src/librustc/infer/README.md index b4075f69730..6c1478531f1 100644 --- a/src/librustc/infer/README.md +++ b/src/librustc/infer/README.md @@ -90,7 +90,7 @@ holds trivially because A==B. However, we have now lost some flexibility, because perhaps the user intended for A and B to end up as different types and not the same type. -Pictorally, what this does is to take two distinct variables with +Pictorially, what this does is to take two distinct variables with (hopefully not completely) distinct type ranges and produce one with the intersection. diff --git a/src/librustc_typeck/README.md b/src/librustc_typeck/README.md index a38f04e304b..1abc914e7d6 100644 --- a/src/librustc_typeck/README.md +++ b/src/librustc_typeck/README.md @@ -12,7 +12,7 @@ The `rustc_typeck` crate contains the source for "type collection" and ## Type collection -Type "collection" is the process of convering the types found in the +Type "collection" is the process of converting the types found in the HIR (`hir::Ty`), which represent the syntactic things that the user wrote, into the **internal representation** used by the compiler (`Ty<'tcx>`) -- we also do similar conversions for where-clauses and |