Add CanEqual instance for Seq to match Nil case

Author: kevin-lee

library/src/scala/CanEqual.scala

@@ -29,6 +29,8 @@ object CanEqual {
   // The next three definitions can go into the companion objects of classes
   // Seq and Set. For now they are here in order not to have to touch the
   // source code of these classes
-  given canEqualSeq[T, U](using eq: CanEqual[T, U]): CanEqual[Seq[T], Seq[U]] = derived
+  given canEqualSeqs[T, U](using eq: CanEqual[T, U]): CanEqual[Seq[T], Seq[U]] = derived
+  given canEqualSeq[T](using eq: CanEqual[T, T]): CanEqual[Seq[T], Seq[T]] = derived
+
   given canEqualSet[T, U](using eq: CanEqual[T, U]): CanEqual[Set[T], Set[U]] = derived
 }

tests/neg/derive-eq.scala

@@ -20,10 +20,10 @@ object Test extends App {
   val y: Triple[List[Two], One, Two] = ???
   val z: Triple[One, List[Two], One] = ???
   x == y // OK
+  y == x // OK
   x == x // OK
   y == y // OK
 
-  y == x // error
   x == z // error
   z == y // error
 }

tests/neg/equality1.scala

@@ -3,4 +3,19 @@ object equality1 {
   class A
   class B
   new A == new B // error: cannot compare
+  
+  val ns1 = List(1, 2, 3, 4, 5)
+  val ns2 = List(1, 2, 3, 4, 5)
+  ns1 == ns2
+
+  val ss = List("1", "2", "3", "4", "5")
+  ns1 == ss // error: cannot compare
+
+  ns1 match {
+    case n :: ns =>
+      println(s"head: $n, tail: ${ns.mkString("[", ",", "]")}")
+    case Nil =>
+      println("empty")
+  }
+
 }