More splitting missing implicits tests

Author: odersky

tests/neg/missing-implicit1.check

@@ -25,25 +25,3 @@
    |
    |  import testObjectInstance.instances.zipOption
    |
--- [E008] Not Found Error: tests/neg/missing-implicit1.scala:26:16 -----------------------------------------------------
-26 |  List(1, 2, 3).first // error
-   |  ^^^^^^^^^^^^^^^^^^^
-   |  value first is not a member of List[Int], but could be made available as an extension method.
-   |
-   |  The following import might fix the problem:
-   |
-   |    import testObjectInstance.instances.first
-   |
--- [E008] Not Found Error: tests/neg/missing-implicit1.scala:27:16 -----------------------------------------------------
-27 |  List(1, 2, 3).second // error
-   |  ^^^^^^^^^^^^^^^^^^^^
-   |  value second is not a member of List[Int], but could be made available as an extension method.
-   |
-   |  The following import might fix the problem:
-   |
-   |    import testObjectInstance.instances.listExtension
-   |
--- [E008] Not Found Error: tests/neg/missing-implicit1.scala:28:17 -----------------------------------------------------
-28 |  Array(1, 2, 3).first // error, no hint
-   |  ^^^^^^^^^^^^^^^^^^^^
-   |  value first is not a member of Array[Int]

tests/neg/missing-implicit1.scala

@@ -22,8 +22,4 @@ object testObjectInstance:
     import instances.traverseList
     List(1, 2, 3).traverse(x => Option(x)) // error
   }
-
-  List(1, 2, 3).first // error
-  List(1, 2, 3).second // error
-  Array(1, 2, 3).first // error, no hint
 end testObjectInstance

tests/neg/missing-implicit5.check

@@ -0,0 +1,22 @@
+-- [E008] Not Found Error: tests/neg/missing-implicit5.scala:15:16 -----------------------------------------------------
+15 |  List(1, 2, 3).first // error
+   |  ^^^^^^^^^^^^^^^^^^^
+   |  value first is not a member of List[Int], but could be made available as an extension method.
+   |
+   |  The following import might fix the problem:
+   |
+   |    import testObjectInstance.instances.first
+   |
+-- [E008] Not Found Error: tests/neg/missing-implicit5.scala:16:16 -----------------------------------------------------
+16 |  List(1, 2, 3).second // error
+   |  ^^^^^^^^^^^^^^^^^^^^
+   |  value second is not a member of List[Int], but could be made available as an extension method.
+   |
+   |  The following import might fix the problem:
+   |
+   |    import testObjectInstance.instances.listExtension
+   |
+-- [E008] Not Found Error: tests/neg/missing-implicit5.scala:17:17 -----------------------------------------------------
+17 |  Array(1, 2, 3).first // error, no hint
+   |  ^^^^^^^^^^^^^^^^^^^^
+   |  value first is not a member of Array[Int]

tests/neg/missing-implicit5.scala

@@ -0,0 +1,18 @@
+object testObjectInstance:
+  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] = ???
+    extension listExtension on [T](xs: List[T]):
+      def second: T = xs.tail.head
+    def [T](xs: List[T]) first: T = xs.head
+  }
+
+  List(1, 2, 3).first // error
+  List(1, 2, 3).second // error
+  Array(1, 2, 3).first // error, no hint
+end testObjectInstance