Merge pull request #14354 from dotty-staging/fix-13855

Fix #13855: Add regression test
scala · Jan 26, 2022 · 59a3d9c · 59a3d9c
2 parents 50970c1 + c24447d
commit 59a3d9c
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