Simplify erased parameter syntax

erased is not always a modifier on the parameter name. The syntax `erased Type` is dropped. There's not really a need for this syntactic inconsistency.
scala · Feb 11, 2024 · d23075b · d23075b
1 parent 6a9bea8
commit d23075b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -1631,7 +1631,7 @@ object Parsers {
                     () => funParam(in.offset, imods))
                 case t =>
                   def funArg() =
-                    addErased()
+                    erasedArgs.addOne(false)
                     funArgType()
                   commaSeparatedRest(t, funArg)
           accept(RPAREN)