Regression test #16004 (#24086)

Closes #16004 

Fixed on 3.2.2

Minimization by @armanbilge at
#16004 (comment)

Author: som-snytt

tests/pos/i16004.scala

@@ -0,0 +1,33 @@
+
+import scala.concurrent.duration.FiniteDuration
+import scala.concurrent.duration._
+
+trait Resource[F[_], A]
+trait IO[A]
+
+trait Cache[F[_], K, V]
+
+object Cache {
+
+  final case class Config(expireAfterRead: FiniteDuration)
+
+  def expiring[F[_], K, V](
+      expireAfter: FiniteDuration
+  ): Resource[F, Cache[F, K, V]] = ???
+
+  def expiring[F[_], K, V](
+      config: Config,
+      partitions: Option[Int] = None
+  ): Resource[F, Cache[F, K, V]] = ???
+
+  /* Without partitions being specified, error is yielded */
+
+  val notCompiling = expiring[IO, Int, Int](
+    config = Config(expireAfterRead = 1.minute)
+  )
+
+  val compiling = expiring[IO, Int, Int](
+    config = Config(expireAfterRead = 1.minute),
+    partitions = None
+  )
+}