From ab64f155bc748a0b4da33ca0004025350b601c3b Mon Sep 17 00:00:00 2001 From: Chris Kipp Date: Fri, 12 May 2023 11:57:31 +0200 Subject: [PATCH] test: add in a regression test for #8321 Closes #8321 --- tests/pos/i8321.scala | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 tests/pos/i8321.scala diff --git a/tests/pos/i8321.scala b/tests/pos/i8321.scala new file mode 100644 index 000000000000..825598d0b668 --- /dev/null +++ b/tests/pos/i8321.scala @@ -0,0 +1,9 @@ + +object Test: + inline def concat[A <: Tuple, B <: Tuple]( + a: Option[A], + b: Option[B] + ): Option[Tuple.Concat[A, B]] = + a.zip(b).map(_ ++ _) + + concat(Some(1, 2), Some(3, 4))