Split missing-implicit test in two

The test started to become flakey since we reduced the timeout from 10 to 8 seconds
and made it a global timeout.

Author: odersky

tests/neg/missing-implicit1.check

@@ -47,30 +47,3 @@
 28 |  Array(1, 2, 3).first // error, no hint
    |  ^^^^^^^^^^^^^^^^^^^^
    |  value first is not a member of Array[Int]
--- Error: tests/neg/missing-implicit1.scala:44:4 -----------------------------------------------------------------------
-44 |  ff // error
-   |    ^
-   |    no implicit argument of type Zip[Option] was found for parameter xs of method ff
-   |
-   |    The following import might fix the problem:
-   |
-   |      import instances.zipOption
-   |
--- [E008] Not Found Error: tests/neg/missing-implicit1.scala:46:16 -----------------------------------------------------
-46 |  List(1, 2, 3).traverse(x => Option(x)) // error
-   |  ^^^^^^^^^^^^^^^^^^^^^^
-   |  value traverse is not a member of List[Int], but could be made available as an extension method.
-   |
-   |  The following import might make progress towards fixing the problem:
-   |
-   |    import instances.traverseList
-   |
--- Error: tests/neg/missing-implicit1.scala:50:42 ----------------------------------------------------------------------
-50 |    List(1, 2, 3).traverse(x => Option(x)) // error
-   |                                          ^
-   |no implicit argument of type Zip[Option] was found for an implicit parameter of method traverse in trait Traverse
-   |
-   |The following import might fix the problem:
-   |
-   |  import instances.zipOption
-   |

tests/neg/missing-implicit1.scala

@@ -27,26 +27,3 @@ object testObjectInstance:
   List(1, 2, 3).second // error
   Array(1, 2, 3).first // error, no hint
 end testObjectInstance
-
-def testLocalInstance =
-  trait Zip[F[_]]
-  trait Traverse[F[_]] {
-    def [A, B, G[_] : Zip](fa: F[A]) traverse(f: A => G[B]): G[F[B]]
-  }
-
-  object instances {
-    given zipOption as Zip[Option] = ???
-    given traverseList as Traverse[List] = ???
-  }
-
-  def ff(using xs: Zip[Option]) = ???
-
-  ff // error
-
-  List(1, 2, 3).traverse(x => Option(x)) // error
-
-  locally {
-    import instances.traverseList
-    List(1, 2, 3).traverse(x => Option(x)) // error
-  }
-end testLocalInstance

tests/neg/missing-implicit4.check

@@ -0,0 +1,27 @@
+-- Error: tests/neg/missing-implicit4.scala:14:4 -----------------------------------------------------------------------
+14 |  ff // error
+   |    ^
+   |    no implicit argument of type Zip[Option] was found for parameter xs of method ff
+   |
+   |    The following import might fix the problem:
+   |
+   |      import instances.zipOption
+   |
+-- [E008] Not Found Error: tests/neg/missing-implicit4.scala:16:16 -----------------------------------------------------
+16 |  List(1, 2, 3).traverse(x => Option(x)) // error
+   |  ^^^^^^^^^^^^^^^^^^^^^^
+   |  value traverse is not a member of List[Int], but could be made available as an extension method.
+   |
+   |  The following import might make progress towards fixing the problem:
+   |
+   |    import instances.traverseList
+   |
+-- Error: tests/neg/missing-implicit4.scala:20:42 ----------------------------------------------------------------------
+20 |    List(1, 2, 3).traverse(x => Option(x)) // error
+   |                                          ^
+   |no implicit argument of type Zip[Option] was found for an implicit parameter of method traverse in trait Traverse
+   |
+   |The following import might fix the problem:
+   |
+   |  import instances.zipOption
+   |

tests/neg/missing-implicit4.scala

@@ -0,0 +1,22 @@
+def testLocalInstance =
+  trait Zip[F[_]]
+  trait Traverse[F[_]] {
+    def [A, B, G[_] : Zip](fa: F[A]) traverse(f: A => G[B]): G[F[B]]
+  }
+
+  object instances {
+    given zipOption as Zip[Option] = ???
+    given traverseList as Traverse[List] = ???
+  }
+
+  def ff(using xs: Zip[Option]) = ???
+
+  ff // error
+
+  List(1, 2, 3).traverse(x => Option(x)) // error
+
+  locally {
+    import instances.traverseList
+    List(1, 2, 3).traverse(x => Option(x)) // error
+  }
+end testLocalInstance