Fix neg tests

Author: Sporarum

tests/neg/_TypeInterweaving/params.scala

@@ -2,4 +2,6 @@ class Params{
     def bar[T](x: T)[T]: String = ??? // error
     def zoo(x: Int)[T, U](x: U): T = ??? // error
     def bbb[T <: U](x: U)[U]: U = ??? // error // error
+    def f0[T](implicit x: T)[U](y: U) = (x,y) // error
+    def f1[T](implicit x: T)[U] = (x,y) // error
 }

tests/neg/_TypeInterweaving/typeApply.scala

@@ -5,7 +5,8 @@ object typeApply:
     def f7[T <: Int][U <: String]()[X <: Unit]: X => X = ???
 
     @main def test = {
-        f3[String] //error
+        f3[String]() //error
         f5[Int][Unit] // error
+        f5[String][Unit] // error // error
         f7[String]()[Unit] // error
     }

tests/neg/_TypeInterweaving/unmatched.scala

@@ -1,4 +1,4 @@
 object unmatched:
     def f1[T (x: T)] = ??? // error
-    def f2[T(x: T) = ??? // error
-    def f3(x: Any[)T] = ??? // error
+    def f2(x: Any[)T] = ??? // error // error
+    def f3[T(x: T) = ??? // error

tests/neg/namedTypeParams.scala

@@ -17,11 +17,13 @@ object Test {
   def f[X, Y](x: X, y: Y): Int = ???
 
   f[X = Int, String](1, "") // error // error
-  f[X = Int][X = Int][Y = String](1, "") // error: illegal repeated type application
+  /* Conflicts with Clause Interweaving, stems from named type parameters assuming one type clause
+  f[X = Int][X = Int][Y = String](1, "") // error
 
-  f[X = Int][Y = String](1, "") // error: illegal repeated type application
-  f[X = Int][String](1, "") // error: illegal repeated type application
+  f[X = Int][Y = String](1, "") // error
+  f[X = Int][String](1, "") // error
 
-  f[Y = String][X = Int](1, "") // error: illegal repeated type application
-  f[Y = String][Int](1, "") // error: illegal repeated type application
+  f[Y = String][X = Int](1, "") // error
+  f[Y = String][Int](1, "") // error
+  */
 }