Merge pull request #4320 from armanbilge/issue/4244

Fix ambiguous `contains_` syntax

Author: armanbilge

core/src/main/scala/cats/syntax/foldable.scala

@@ -27,7 +27,11 @@ trait FoldableSyntax extends Foldable.ToFoldableOps with UnorderedFoldable.ToUno
   implicit final def catsSyntaxNestedFoldable[F[_]: Foldable, G[_], A](fga: F[G[A]]): NestedFoldableOps[F, G, A] =
     new NestedFoldableOps[F, G, A](fga)
 
-  implicit final def catsSyntaxFoldOps[F[_]: Foldable, A](fa: F[A]): FoldableOps[F, A] =
+  implicit final def catsSyntaxFoldOps[F[_], A](fa: F[A]): FoldableOps[F, A] =
+    new FoldableOps[F, A](fa)
+
+  @deprecated("Use overload without Foldable parameter", "2.9.0")
+  final def catsSyntaxFoldOps[F[_], A](fa: F[A], F: Foldable[F]): FoldableOps[F, A] =
     new FoldableOps[F, A](fa)
 }
 

tests/shared/src/test/scala-2.13+/cats/tests/ScalaVersionSpecific.scala

@@ -121,6 +121,10 @@ trait ScalaVersionSpecificFoldableSuite { self: FoldableSuiteAdditional =>
     assert((1 #:: boomLazyList[Int]).findM[Id](_ > 0) == Some(1))
     assert((1 #:: boomLazyList[Int]).collectFirstSomeM[Id, Int](Option.apply) == Some(1))
   }
+
+  test("#4244 ambiguous `contains_` syntax") {
+    assertEquals(List("a").map(List("a").contains_), List(true))
+  }
 }
 
 trait ScalaVersionSpecificParallelSuite { self: ParallelSuite =>