Update specs2 community project

And add minimization

Author: EugeneFlesselle

community-build/community-projects/specs2

@@ -0,0 +1,18 @@
+
+// NOTE: does _not_ need to be a neg test,
+// added as minimization from community-build specs2 for #23441
+
+def sameElementsAs[T](xs: Iterable[T], ys: Iterable[T], f: (T, T) => Boolean): Boolean =
+  val ita = xs.toList
+  val itb = ys.toList
+
+  (ita, itb) match
+    case (a: Iterable[?], b: Iterable[?]) =>
+      sameElementsAs(a, b, f) // ok
+
+      val resta/* : Iterable[?] & List[T] inferred */= a.drop(1)
+      val restb/* : Iterable[?] & List[T] inferred */= b.drop(1)
+
+      sameElementsAs[T](resta, restb, f) // ok
+      sameElementsAs(resta : List[T], restb, f) // ok
+      sameElementsAs(resta, restb, f) // error, would be ok if we inferred as above