Move neg case of typeApply

Author: Sporarum

tests/neg/_TypeInterweaving/typeApply.scala

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

tests/pos/_typeInterweaving/typeApply.scala

@@ -10,13 +10,12 @@ object typeApply:
     def f7[T <: Int][U <: String]()[X <: Unit]: X => X = ???
 
     @main def test = {
-        f0[Int][String] //only one that works when lines 1088 to 1089 of Applications.scala are uncommented
+        f0[Int][String]
         f1[Int][String]
         f2[Int][String]()
         f3[Int][String]()
         f4[Int][String]
         f5[Int][String]
-        f5[Int][Unit] // Should this work ?
         f5[Int][String][Unit]
         f6[Int]()[Unit]
         f7[Int]()[Unit]