Fix scala#13855: Add regression test

dotty-staging · Jan 26, 2022 · c24447d · c24447d
1 parent 74d1b82
commit c24447d
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tests/pos/13855.scala b/tests/pos/13855.scala
@@ -0,0 +1,13 @@
+type A[X] = X match
+  case Int => Int
+  case _   => B[X]
+
+def a[X](x: X): A[X] = x match
+  case v: Int => v
+  case _      => b(x)
+
+type B[X] = X match
+  case String => String
+
+def b[X](x: X): B[X] = x match
+  case v: String => v