Closed
Description
this is valid syntactically:
type TypeAlias: TraitBound = SomeType;
however it is not part of the reference.
expectation:
Syntax
TypeAlias :
type
IDENTIFIER GenericParams? (:
TypeParamBounds )? WhereClause? (=
Type )?;
*should be stated that this syntax is only useful in the context of an associated type and will yield bounds on `type`s in this context have no effect
anywhere else.
edit: I accidently pressed enter
before writing the description