Add a regression test for AnyVal Hash derivation (#624)

typelevel · Dec 17, 2023 · 3c154a1 · 3c154a1
1 parent 33d4e2b
commit 3c154a1
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 2 deletions.
diff --git a/core/src/test/scala-2/cats/derived/adtdefns.scala b/core/src/test/scala-2/cats/derived/adtdefns.scala
@@ -41,6 +41,14 @@ object TestDefns {
   case object Green extends Rgb
   case object Blue extends Rgb
 
+  final case class AnyValStr(name: String) extends AnyVal
+  object AnyValStr {
+    implicit val arbitrary: Arbitrary[AnyValStr] =
+      Arbitrary(Arbitrary.arbitrary[String].map(apply))
+    implicit val cogen: Cogen[AnyValStr] =
+      Cogen[String].contramap(_.name)
+  }
+
   final case class ComplexProduct[T](lbl: String, set: Set[T], fns: Vector[() => T], opt: Eval[Option[T]])
   object ComplexProduct {
 

diff --git a/core/src/test/scala-2/cats/derived/hash.scala b/core/src/test/scala-2/cats/derived/hash.scala
@@ -14,15 +14,17 @@ class HashSuite extends KittensSuite {
       interleaved: Hash[Interleaved[Int]],
       tree: Hash[Tree[Int]],
       recursive: Hash[Recursive],
-      singletons: Hash[Singletons[Int]]
+      singletons: Hash[Singletons[Int]],
+      anyVal: Hash[AnyValStr]
   ): Unit = {
     checkAll(s"$context.Hash[IList[Int]]", HashTests[IList[Int]].hash)
     checkAll(s"$context.Hash[Inner]", HashTests[Inner].hash)
     checkAll(s"$context.Hash[Outer]", HashTests[Outer].hash)
     checkAll(s"$context.Hash[Interleaved[Int]]", HashTests[Interleaved[Int]].hash)
     checkAll(s"$context.Hash[Tree[Int]]", HashTests[Tree[Int]].hash)
     checkAll(s"$context.Hash[Recursive]", HashTests[Recursive].hash)
-    checkAll(s"$context.Hash[Singletons[Int]", HashTests[Singletons[Int]].hash)
+    checkAll(s"$context.Hash[Singletons[Int]]", HashTests[Singletons[Int]].hash)
+    checkAll(s"$context.Hash[AnyValStr]", HashTests[AnyValStr].hash)
     checkAll(s"$context.Hash is Serializable", SerializableTests.serializable(Hash[Tree[Int]]))
   }
 
@@ -53,5 +55,6 @@ object HashSuite {
     implicit val tree: Hash[Tree[Int]] = semiauto.hash
     implicit val recursive: Hash[Recursive] = semiauto.hash
     implicit val singletons: Hash[Singletons[Int]] = semiauto.hash
+    implicit val anyVal: Hash[AnyValStr] = semiauto.hash
   }
 }