diff options
| author | topecongiro <seuchida@gmail.com> | 2017-11-04 18:23:54 +0900 |
|---|---|---|
| committer | topecongiro <seuchida@gmail.com> | 2017-11-04 18:23:54 +0900 |
| commit | 0745733286e575b6647477eac76cd34b1e586d9a (patch) | |
| tree | 67a01d77d6753d6a97176a4a864c1d1a584922d1 | |
| parent | a4541525d5aa2cbf9c15e89cde513792e22a0318 (diff) | |
Fix typos
| -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 |