Fix warnings

Author: joroKr21

build.sbt

@@ -16,19 +16,48 @@ val kindProjectorVersion = "0.13.4"
 val shapeless2Version = "2.3.13"
 val shapeless3Version = "3.5.0"
 
+val commonOptions = List(
+  "-feature",
+  "-language:higherKinds",
+  "-language:implicitConversions",
+  "-unchecked",
+  "-deprecation",
+  "-Werror"
+)
+
+val scala3Options = List(
+  "-source:future",
+  "-Xmax-inlines",
+  "64",
+  "-Wvalue-discard",
+  List(
+    "explicits",
+    "implicits",
+    "imports",
+    "locals",
+    "params",
+    "strict-no-implicit-warn",
+    "unsafe-warn-patvars"
+  ).mkString("-Wunused:", ",", "")
+)
+
+val scala213Options = List(
+  "-Xlint:-infer-any",
+  "-Wconf:cat=deprecation&site=.*SequenceSuite:silent"
+)
+
+val scala212Options = List(
+  "-Ypartial-unification",
+  "-Xlint",
+  "-Wconf:cat=unused&src=.*/derived/package.scala:silent"
+)
+
 lazy val commonSettings = Seq(
-  scalacOptions ++= Seq(
-    "-feature",
-    "-language:higherKinds",
-    "-language:implicitConversions",
-    "-unchecked",
-    "-deprecation",
-    "-Werror"
-  ),
+  scalacOptions ++= commonOptions,
   scalacOptions ++= CrossVersion.partialVersion(scalaVersion.value).toList.flatMap {
-    case (3, _) => List("-source:future", "-Xmax-inlines", "64", "-Wunused:all", "-Wvalue-discard")
-    case (2, 12) => List("-Ypartial-unification", "-Xlint", "-Wconf:cat=unused&src=.*/derived/package.scala:silent")
-    case (2, 13) => List("-Xlint:-infer-any", "-Wconf:cat=deprecation&site=.*SequenceSuite:silent")
+    case (3, _) => scala3Options
+    case (2, 13) => scala213Options
+    case (2, 12) => scala212Options
     case _ => Nil
   },
   resolvers += Resolver.sonatypeCentralSnapshots,

core/src/main/scala-3/cats/derived/DerivedAlternative.scala

@@ -13,12 +13,10 @@ Make sure it satisfies one of the following conditions:
   * generic case class where all fields form Alternative""")
 type DerivedAlternative[F[_]] = Derived[Alternative[F]]
 object DerivedAlternative:
-  @nowarn("msg=unused import")
   inline def apply[F[_]]: Alternative[F] =
     import DerivedAlternative.given
     summonInline[DerivedAlternative[F]].instance
 
-  @nowarn("msg=unused import")
   inline def strict[F[_]]: Alternative[F] =
     import Strict.given
     summonInline[DerivedAlternative[F]].instance
@@ -33,7 +31,7 @@ object DerivedAlternative:
   given product[F[_]](using inst: => ProductInstances[Alternative |: Derived, F]): DerivedAlternative[F] =
     Strict.product(using inst.unify)
 
-  trait Product[T[f[_]] <: Alternative[f], F[_]: ProductInstancesOf[T]]
+  trait Product[T[f[_]] <: Alternative[f], F[_]]
       extends Alternative[F],
         DerivedNonEmptyAlternative.Product[T, F],
         DerivedMonoidK.Product[T, F]

core/src/main/scala-3/cats/derived/DerivedApplicative.scala

@@ -14,12 +14,10 @@ Make sure it satisfies one of the following conditions:
   * generic case class where all fields form Applicative""")
 type DerivedApplicative[F[_]] = Derived[Applicative[F]]
 object DerivedApplicative:
-  @nowarn("msg=unused import")
   inline def apply[F[_]]: Applicative[F] =
     import DerivedApplicative.given
     summonInline[DerivedApplicative[F]].instance
 
-  @nowarn("msg=unused import")
   inline def strict[F[_]]: Applicative[F] =
     import Strict.given
     summonInline[DerivedApplicative[F]].instance

core/src/main/scala-3/cats/derived/DerivedApply.scala

@@ -14,12 +14,10 @@ Make sure it satisfies one of the following conditions:
   * generic case class where all fields form Apply""")
 type DerivedApply[F[_]] = Derived[Apply[F]]
 object DerivedApply:
-  @nowarn("msg=unused import")
   inline def apply[F[_]]: Apply[F] =
     import DerivedApply.given
     summonInline[DerivedApply[F]].instance
 
-  @nowarn("msg=unused import")
   inline def strict[F[_]]: Apply[F] =
     import Strict.given
     summonInline[DerivedApply[F]].instance

core/src/main/scala-3/cats/derived/DerivedBand.scala

@@ -11,20 +11,18 @@ import scala.compiletime.*
 Make sure it is a case class where all fields form Band.""")
 type DerivedBand[A] = Derived[Band[A]]
 object DerivedBand:
-  @nowarn("msg=unused import")
   inline def apply[A]: Band[A] =
     import DerivedBand.given
     summonInline[DerivedBand[A]].instance
 
-  @nowarn("msg=unused import")
   inline def strict[A]: Band[A] =
     import Strict.given
     summonInline[DerivedBand[A]].instance
 
   given product[A](using inst: => ProductInstances[Band |: Derived, A]): DerivedBand[A] =
     Strict.product(using inst.unify)
 
-  trait Product[F[x] <: Band[x], A: ProductInstancesOf[F]] extends DerivedSemigroup.Product[F, A], Band[A]
+  trait Product[F[x] <: Band[x], A] extends DerivedSemigroup.Product[F, A], Band[A]
 
   object Strict:
     given product[A: ProductInstancesOf[Band]]: DerivedBand[A] =

core/src/main/scala-3/cats/derived/DerivedBifoldable.scala

@@ -16,12 +16,10 @@ Make sure it satisfies one of the following conditions:
   * generic enum where all variants form Bifoldable""")
 type DerivedBifoldable[F[_, _]] = Derived[Bifoldable[F]]
 object DerivedBifoldable:
-  @nowarn("msg=unused import")
   inline def apply[F[_, _]]: Bifoldable[F] =
     import DerivedBifoldable.given
     summonInline[DerivedBifoldable[F]].instance
 
-  @nowarn("msg=unused import")
   inline def strict[F[_, _]]: Bifoldable[F] =
     import Strict.given
     summonInline[DerivedBifoldable[F]].instance

core/src/main/scala-3/cats/derived/DerivedBifunctor.scala

@@ -16,12 +16,10 @@ Make sure it satisfies one of the following conditions:
   * generic enum where all variants form Bifunctor""")
 type DerivedBifunctor[F[_, _]] = Derived[Bifunctor[F]]
 object DerivedBifunctor:
-  @nowarn("msg=unused import")
   inline def apply[F[_, _]]: Bifunctor[F] =
     import DerivedBifunctor.given
     summonInline[DerivedBifunctor[F]].instance
 
-  @nowarn("msg=unused import")
   inline def strict[F[_, _]]: Bifunctor[F] =
     import Strict.given
     summonInline[DerivedBifunctor[F]].instance

core/src/main/scala-3/cats/derived/DerivedBitraverse.scala

@@ -16,12 +16,10 @@ Make sure it satisfies one of the following conditions:
   * generic enum where all variants form Bitraverse""")
 type DerivedBitraverse[F[_, _]] = Derived[Bitraverse[F]]
 object DerivedBitraverse:
-  @nowarn("msg=unused import")
   inline def apply[F[_, _]]: Bitraverse[F] =
     import DerivedBitraverse.given
     summonInline[DerivedBitraverse[F]].instance
 
-  @nowarn("msg=unused import")
   inline def strict[F[_, _]]: Bitraverse[F] =
     import Strict.given
     summonInline[DerivedBitraverse[F]].instance

core/src/main/scala-3/cats/derived/DerivedBoundedSemilattice.scala

@@ -11,22 +11,18 @@ import scala.compiletime.*
 Make sure it is a case class where all fields form BoundedSemilattice.""")
 type DerivedBoundedSemilattice[A] = Derived[BoundedSemilattice[A]]
 object DerivedBoundedSemilattice:
-  @nowarn("msg=unused import")
   inline def apply[A]: BoundedSemilattice[A] =
     import DerivedBoundedSemilattice.given
     summonInline[DerivedBoundedSemilattice[A]].instance
 
-  @nowarn("msg=unused import")
   inline def strict[A]: BoundedSemilattice[A] =
     import Strict.given
     summonInline[DerivedBoundedSemilattice[A]].instance
 
   given product[A](using inst: => ProductInstances[BoundedSemilattice |: Derived, A]): DerivedBoundedSemilattice[A] =
     Strict.product(using inst.unify)
 
-  trait Product[F[x] <: BoundedSemilattice[x], A: ProductInstancesOf[F]]
-      extends DerivedCommutativeMonoid.Product[F, A],
-        BoundedSemilattice[A]
+  trait Product[F[x] <: BoundedSemilattice[x], A] extends DerivedCommutativeMonoid.Product[F, A], BoundedSemilattice[A]
 
   object Strict:
     given product[A: ProductInstancesOf[BoundedSemilattice]]: DerivedBoundedSemilattice[A] =

core/src/main/scala-3/cats/derived/DerivedCommutativeGroup.scala

@@ -11,22 +11,18 @@ import scala.compiletime.*
 Make sure it is a case class where all fields form CommutativeGroup.""")
 type DerivedCommutativeGroup[A] = Derived[CommutativeGroup[A]]
 object DerivedCommutativeGroup:
-  @nowarn("msg=unused import")
   inline def apply[A]: CommutativeGroup[A] =
     import DerivedCommutativeGroup.given
     summonInline[DerivedCommutativeGroup[A]].instance
 
-  @nowarn("msg=unused import")
   inline def strict[A]: CommutativeGroup[A] =
     import Strict.given
     summonInline[DerivedCommutativeGroup[A]].instance
 
   given product[A](using inst: => ProductInstances[CommutativeGroup |: Derived, A]): DerivedCommutativeGroup[A] =
     Strict.product(using inst.unify)
 
-  trait Product[F[x] <: CommutativeGroup[x], A: ProductInstancesOf[F]]
-      extends DerivedGroup.Product[F, A],
-        CommutativeGroup[A]
+  trait Product[F[x] <: CommutativeGroup[x], A] extends DerivedGroup.Product[F, A], CommutativeGroup[A]
 
   object Strict:
     given product[A: ProductInstancesOf[CommutativeGroup]]: DerivedCommutativeGroup[A] =