Fix #19402: improved parsing of given paramiters with absence of usin…

…g keyword [Cherry-picked 300f2cc]
scala · Jul 2, 2024 · 977dc5d · 977dc5d
1 parent 9ce109d
commit 977dc5d
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/parsing/Parsers.scala b/compiler/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -3958,7 +3958,7 @@ object Parsers {
         val tparams = typeParamClauseOpt(ParamOwner.Given)
         newLineOpt()
         val vparamss =
-          if in.token == LPAREN && in.lookahead.isIdent(nme.using)
+          if in.token == LPAREN && (in.lookahead.isIdent(nme.using) || name != EmptyTermName)
           then termParamClauses(ParamOwner.Given)
           else Nil
         newLinesOpt()

diff --git a/tests/neg/i19402.scala b/tests/neg/i19402.scala
@@ -0,0 +1,11 @@
+object Test: 
+
+  class Bar(foo: Foo)
+
+  class Foo
+
+  given (Foo) = ???
+  given (using a: Int): Int = ???
+  given [T](using a: T): T = ???
+  given bar(foo: Foo): Bar  = Bar(foo) // error: using is expected
+