squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

Fix typos

Browse source
This commit is contained in:
topecongiro 2017-11-04 18:23:54 +09:00
parent a4541525d5
commit 0745733286
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/librustc/infer/README.md
View file

@ -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.

2
src/librustc_typeck/README.md
View file

@ -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