From 0745733286e575b6647477eac76cd34b1e586d9a Mon Sep 17 00:00:00 2001 From: topecongiro Date: Sat, 4 Nov 2017 18:23:54 +0900 Subject: [PATCH] Fix typos --- src/librustc/infer/README.md | 2 +- 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