Skip to content

TypeAlias syntax missing a TypeParamBounds #1032

Closed
@GilRtr

Description

@GilRtr

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-grammarArea: Syntax and parsing

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions