Create i11982a.scala

scala · Mar 31, 2023 · 872e731 · 872e731
1 parent 0631b50
commit 872e731
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/tests/pos/i11982a.scala b/tests/pos/i11982a.scala
@@ -0,0 +1,14 @@
+package tuplefun
+object Unpair {
+
+  def pair[A, B](using a: ValueOf[A], b: ValueOf[B]): Tuple2[A, B] =
+    (a.value, b.value)
+
+  def unpair[X <: Tuple2[?, ?]](
+      using a: ValueOf[Tuple.Head[X]],
+            b: ValueOf[Tuple.Head[Tuple.Tail[X]]]  // error
+  ): Tuple2[Tuple.Head[X], Tuple.Head[Tuple.Tail[X]]] =  // error
+    type AA = Tuple.Head[X]
+    type BB = Tuple.Head[Tuple.Tail[X]]  // error
+    pair[AA, BB](using a, b)
+}