[SR-1938] Implement support for SE-0095: Replace protocol<P1, P2>
syntax with P1&P2
#44547
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
compiler
The Swift compiler in itself
good first issue
Good for newcomers
Additional Detail from JIRA
md5: 49622b054b5547ddd9b9666615171a2a
Issue Description:
SE-0095 has been accepted, and we need an implementation. This consists of a few straight-forward pieces of work:
"Parse" the "P1 & P2" style syntax in the type production grammar.
Enhance PreCheckExpression to combine "P1 & P2" into a TypeExpr to cover the expression grammar case.
Make Any be a keyword, and make it generate the same AST as we form for protocol<> today.
Change the parser logic for the protocol<P1,P2> syntax to generate a warning+fixit for the new syntax.
Upgrade that warning to an error a couple of weeks later.
I'd suggest keeping the AST representation exactly the same as we have now for simplicity.
The text was updated successfully, but these errors were encountered: