-
Notifications
You must be signed in to change notification settings - Fork 2k
Closed
Labels
A-parserparser issuesparser issuesA-tytype system / type inference / traits / method resolutiontype system / type inference / traits / method resolutionS-actionableSomeone could pick this issue up and work on it right nowSomeone could pick this issue up and work on it right now
Description
Rust Playground of code which fails to parse in Rust-Analyzer; specifically, see line 24:
Inner: for<'a> Foo<Bar<'a> = &'a str>
GAT specifications in constraints cause the parser to abort; RA expected COMMA and does not appear to be usable with GAT constraint specifications in any expressible form.
The sort of constraint that fails, and what RA displays, despite the code being legal and compiling successfully:

Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
A-parserparser issuesparser issuesA-tytype system / type inference / traits / method resolutiontype system / type inference / traits / method resolutionS-actionableSomeone could pick this issue up and work on it right nowSomeone could pick this issue up and work on it right now