Fix // error missing from neg tests and other details

Author: Sporarum

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

@@ -2898,13 +2898,13 @@ object Parsers {
                     firstClause: Boolean = false,             // clause is the first in regular list of clauses
                     ownerKind: ParamOwner.Value
                    ): List[TypeDef] | List[ValDef] =
-      if(in.token == LPAREN){
+      if (in.token == LPAREN)
         paramClause(nparams, ofClass, ofCaseClass, prefix, givenOnly, firstClause)
-      }else if(in.token == LBRACKET){
+      else if (in.token == LBRACKET)
         typeParamClause(ownerKind)
-      }else{
+      else
         Nil
-      }
+      
     end typeOrTermParamClause
 
     def typeOrTermParamClauses(
@@ -2935,8 +2935,6 @@ object Parsers {
         else Nil
       end recur
 
-      //recur(firstClause = true, numLeadParams)
-
       recur(firstClause = true, nparams = numLeadParams)
     end typeOrTermParamClauses
 

tests/neg/_TypeInterweaving/ab.scala

@@ -5,4 +5,4 @@ given Double = 0
 def ab[A][B](x: A)(using B): B = summon[B]
 
 def test =
-    ab[Int](0: Int)
+    ab[Int](0: Int) // error

tests/neg/_TypeInterweaving/nameCollision.scala

@@ -1,2 +1,2 @@
 def f[T](x: T)[U](y: U) = (x,y)
-def f[T](x: T, y: T) = (x,y)
+def f[T](x: T, y: T) = (x,y) // error

tests/neg/_TypeInterweaving/unmatched1.scala

@@ -0,0 +1,2 @@
+
+def f1[T (x: T)] = ??? // error

tests/neg/_TypeInterweaving/unmatched2.scala

@@ -0,0 +1,5 @@
+
+
+
+
+def f2[T(x: T) = ??? // error

tests/neg/_TypeInterweaving/unmatched3.scala

@@ -0,0 +1,3 @@
+
+
+def f3(x: Any[)T] = ??? // error

tests/pos/_typeInterweaving/functorInterweaving.scala

@@ -1,8 +1,8 @@
 //taken from https://dotty.epfl.ch/docs/reference/contextual/type-classes.html
 //at version 3.1.1-RC1-bin-20210930-01f040b-NIGHTLY
-//modified to have type currying
+//modified to have type interveawing
 trait Functor[F[_]]:
-  def map[A][B](x: F[A], f: A => B): F[B]
+  def map[A](x: F[A])[B](f: A => B): F[B]
 
 
 given Functor[List] with