add sources

Author: xuwei-k

.github/CODEOWNERS

@@ -0,0 +1 @@
+* @xuwei-k

.github/workflows/ci.yml

@@ -0,0 +1,19 @@
+name: ci
+on:
+  pull_request:
+  push:
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+    steps:
+    - uses: actions/[email protected]
+    - uses: actions/setup-java@v2
+      with:
+        java-version: 8
+        check-latest: true
+        distribution: adopt
+    - uses: coursier/cache-action@v6
+    - run: curl -Ls https://git.io/sbt > ./sbt && chmod 0755 ./sbt
+    - run: ./sbt -v "+ Test/run"

README.md

@@ -1,2 +1,3 @@
-# case-class-to-tuple-cross-build
 example repository for `toTuple` method
+
+https://github.com/lampepfl/dotty/issues/2335

build.sbt

@@ -0,0 +1,14 @@
+def Scala213 = "2.13.6"
+def Scala3 = "3.0.0"
+
+scalaVersion := Scala213
+
+crossScalaVersions := Seq(Scala213, Scala3)
+
+libraryDependencies ++= {
+  if (CrossVersion.partialVersion(scalaVersion.value).exists(_._1 == 2)) {
+    Seq("com.chuusai" %% "shapeless" % "2.3.7")
+  } else {
+    Nil
+  }
+}

project/build.properties

@@ -0,0 +1 @@
+sbt.version=1.5.2

src/main/scala-2/AsTuple.scala

@@ -0,0 +1,8 @@
+import shapeless.ops.product.ToTuple
+
+object AsTuple {
+  implicit class AsTupleOps[A](private val value: A) extends AnyVal {
+    def asTuple[B](implicit toTuple: ToTuple.Aux[A, B]): B =
+      toTuple.apply(value)
+  }
+}

src/main/scala-3/AsTuple.scala

@@ -0,0 +1,8 @@
+import scala.deriving.Mirror.ProductOf
+
+object AsTuple {
+  extension [A <: Product](value: A) {
+    def asTuple(using mirror: ProductOf[A]): mirror.MirroredElemTypes =
+      Tuple.fromProductTyped(value)
+  }
+}

src/test/scala/TestMain.scala

@@ -0,0 +1,21 @@
+import AsTuple._
+
+object TestMain {
+
+  case class A(x1: Int, x2: String)
+
+  case class B[T](x1: T, x2: List[T], x3: Option[T])
+
+  def a = A(2, "a").asTuple
+
+  def b = B[Boolean](false, List(true, false), Option(true)).asTuple
+
+  def main(args: Array[String]): Unit = {
+    a: (Int, String)
+    b: (Boolean, List[Boolean], Option[Boolean])
+
+    println(a)
+    println(b)
+  }
+
+}