-
Notifications
You must be signed in to change notification settings - Fork 574
Closed
Labels
A-grammarArea: Syntax and parsingArea: Syntax and parsing
Description
this is valid syntactically:
type TypeAlias: TraitBound = SomeType;however it is not part of the reference.
expectation:
Syntax
TypeAlias :
typeIDENTIFIER 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
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
A-grammarArea: Syntax and parsingArea: Syntax and parsing