Disallow empty parameter clauses in extension definition

Author: DolphinChips

compiler/src/dotty/tools/dotc/parsing/Parsers.scala

@@ -3673,7 +3673,10 @@ object Parsers {
       // begin termParamClause
       inParensWithCommas {
         if in.token == RPAREN && paramOwner != ParamOwner.ExtensionPrefix && !impliedMods.is(Given)
-        then Nil
+        then
+          if paramOwner.takesOnlyUsingClauses then
+            syntaxError(em"`using` expected")
+          Nil
         else
           val clause =
             if paramOwner == ParamOwner.ExtensionPrefix
@@ -4468,7 +4471,10 @@ object Parsers {
         leadParamss += extParams
         isUsingClause(extParams)
       do ()
-      leadParamss ++= termParamClauses(ParamOwner.ExtensionFollow, numLeadParams)
+      // Empty parameter clauses are filtered out. They are already reported as syntax errors and are not
+      // allowed here.
+      val extFollowParams = termParamClauses(ParamOwner.ExtensionFollow, numLeadParams).filter(!_.isEmpty)
+      leadParamss ++= extFollowParams
       if in.isColon then
         syntaxError(em"no `:` expected here")
         in.nextToken()

tests/neg/extensions-can-only-have-using.check

@@ -0,0 +1,4 @@
+-- Error: tests/neg/extensions-can-only-have-using.scala:1:18 ----------------------------------------------------------
+1 |extension(x: Any)() // error
+  |                  ^
+  |                  `using` expected

tests/neg/extensions-can-only-have-using.scala

@@ -0,0 +1,3 @@
+extension(x: Any)() // error
+  def f = 42
+val x = 1.f