Merge pull request #149 from keynmol/scala-3-roundtrip-tests

Codec roundtrip tests on Scala3

.scalafmt.conf

@@ -4,5 +4,6 @@ align = none
 project.git = true
 
 project.excludeFilters = [
-  "(.*)/src/main/scala-3/(.*)"
+  "(.*)/src/main/scala-3/(.*)",
+  "(.*)/src/test/scala-3/(.*)"
 ]

build.sbt

@@ -181,7 +181,7 @@ lazy val tests = crossProject(JVMPlatform, JSPlatform, NativePlatform)
         Seq(
           "com.github.alexarchambault" %%% "scalacheck-shapeless_1.15" % "1.3.0"
         )
-      else Seq.empty
+      else Seq("org.typelevel" %% "shapeless3-deriving" % "3.0.3")
     },
     graalVMNativeImageOptions ++= {
       val reflectionFile =

metaconfig-tests/jvm/src/test/scala-3/metaconfig/CodecRoundtripSuite.scala

@@ -0,0 +1,21 @@
+package metaconfig
+
+import org.scalacheck.Prop.forAll
+
+class CodecRoundtripSuite extends munit.ScalaCheckSuite {
+
+  def checkRoundtrip[T: ConfCodec](a: T): Boolean = {
+    val conf = ConfEncoder[T].write(a)
+    val b = ConfDecoder[T].read(conf).get
+    a == b
+  }
+
+  property("roundtrip AllTheAnnotations") {
+    forAll { (a: AllTheAnnotations) => checkRoundtrip(a) }
+  }
+
+  property("roundtrip Outer") {
+    forAll { (a: Outer) => checkRoundtrip(a) }
+  }
+
+}

metaconfig-tests/jvm/src/test/scala-3/metaconfig/GenDerive.scala

@@ -0,0 +1,6 @@
+package metaconfig
+import org.scalacheck._
+import shapeless3.deriving.*
+
+given [A](using inst: K0.ProductInstances[Arbitrary, A]): Arbitrary[A] =
+  Arbitrary(inst.construct([t] => (ma: Arbitrary[t]) => ma.arbitrary.sample.get))