Review comments

src/items/associated-items.md

@@ -211,6 +211,7 @@ lifetime or const parameters, `Bounds` is a plus-separated list of trait bounds
 on the associated type, and `WhereBounds` is a comma-separated list of bounds on
 parameters:
 
+<!-- ignore: illustrative example forms -->
 ```rust,ignore
 type Assoc;
 type Assoc: Bounds;
@@ -228,11 +229,12 @@ An *associated type definition* defines a type alias for the implementation
 of a trait on a type. They are written similarly to an *associated type declaration*,
 but cannot contain `Bounds`, but instead must contain a `Type`:
 
+<!-- ignore: illustrative example forms -->
 ```rust,ignore
 type Assoc = Type;
 type Assoc<Params> = Type; // the type `Type` here may reference `Params`
-type Assoc<Params> where WhereBounds = Type;
 type Assoc<Params> = Type where WhereBounds;
+type Assoc<Params> where WhereBounds = Type; // deprecated, prefer the form above
 ```
 
 If a type `Item` has an associated type `Assoc` from a trait `Trait`, then

src/items/type-aliases.md

@@ -31,14 +31,14 @@ let _ = UseAlias(5); // OK
 let _ = TypeAlias(5); // Doesn't work
 ```
 
-A type alias without the [_Type_] specification may only appear as an
-[associated type] in a [trait].
+A type alias, when not used as an associated type, must include a [_Type_] and
+may not include [_TypeParamBounds_].
 
-A type alias with the [_Type_] specification may only appear as an
-[associated type] in a [trait impl].
+A type alias, when used as an [associated type] in a [trait], must not include a
+[_Type_] specification but may include [_TypeParamBounds_].
 
-A type alias with [_TypeParamBounds_] may only specified when used as
-an [associated type] in a [trait].
+A type alias, when used as an [associated type] in a [trait impl], must include
+a [_Type_] specification and may not include [_TypeParamBounds_].
 
 Where clauses before the equals sign on a type alias in a [trait impl] (like
 `type TypeAlias<T> where T: Foo = Bar<T>`) are deprecated. Where clauses after