14.4, "Polymorphic Traits", refers to "the 'of' clause", but there's no 'of'

[jimblandy]

para 2. says, "the 'of' clause refers to a type, rather than defining one."

I can't tell what an "'of' clause" is; there's no appearance of the token 'of' in the code.

The phrase "'of' clause" also occurs in 14.7, "Traits-less implementations".

[burg]

of was part of the old syntax for trait implementation declarations. This should be a fairly simple fix.

burg: 'impl foo of bar' got changed to 'impl foo: bar', right?
nmatsakis: burg: not...exactly
nmatsakis: more like `impl of foo for bar` got changed to `impl bar: foo`
nmatsakis: that is, `impl rcvr_type: trait_type`

[lkuper]

impl of Trait for Type changed to impl Type: Trait in this heroic commit by @brson a month ago.

Back when traits were called ifaces, there was such a thing as an interface-less implementation that omitted the of Trait part; that's the part that used to be known as an "of clause".

We now have trait-less implementations; the text in that section also needs to be edited to remove a mention of of.

I think that "—the of clause refers to a type, rather than defining one." should just be nixed.