Add test case

wi101 · Feb 18, 2021 · 1fb3271 · 1fb3271
1 parent 953de75
commit 1fb3271
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/tests/pos/11463.scala b/tests/pos/11463.scala
@@ -0,0 +1,11 @@
+type LeafElem[X] = X match
+   case String => Char
+   case Array[t] => LeafElem[t]
+   case Iterable[t] => LeafElem[t]
+   case AnyVal => X
+
+def leafElem[X](x: X): LeafElem[X] = x match
+   case x: String      => x.charAt(0)
+   case x: Array[t]    => leafElem(x(9))
+   case x: Iterable[t] => leafElem(x.head)
+   case x: AnyVal      => x