user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Change wording

Browse source
This commit is contained in:
scalexm 2018-10-21 18:07:25 +02:00 • committed by Who? Me?!
parent cafa8d8198
commit 76027767ec
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/doc/rustc-dev-guide/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`