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
this is valid syntactically:
however it is not part of the reference.
expectation:
*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 effectanywhere else.edit: I accidently pressed
enterbefore writing the description