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

Change wording

This commit is contained in:
scalexm 2018-10-21 18:07:25 +02:00 committed by Who? Me?!
parent ab89ea2446
commit dfa38e973e
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/traits/goals-and-clauses.md
View File

@ -103,7 +103,7 @@ WhereClause = Implemented(TraitRef)
`WhereClause` refers to a `where` clause that a Rust user would actually be able
to write in a Rust program. This abstraction exists only as a convenience as we
sometimes want to only coope with domain goals that are effectively writable in
sometimes want to only deal with domain goals that are effectively writable in
Rust.
Let's break down each one of these, one-by-one.
@ -117,8 +117,8 @@ True if the given trait is implemented for the given input types and lifetimes.
e.g. `ProjectionEq<T as Iterator>::Item = u8`
The given associated type `Projection` is equal to `Type`; this can be proved
with either normalization or using skolemized types. See [the section
on associated types](./associated-types.html).
with either normalization or using placeholder associated types. See
[the section on associated types](./associated-types.html).
#### Normalize(Projection -> Type)
e.g. `ProjectionEq<T as Iterator>::Item -> u8`