Merge pull request #12302 from dotty-staging/fix-9849

liufengyun · web-flow · commit ae3f58e37546 · 2021-05-07T21:11:56.000+02:00
Fix #9849: Add regression test
diff --git a/tests/pos-deep-subtype/9849.scala b/tests/pos-deep-subtype/9849.scala
@@ -0,0 +1,4 @@
+type *:[A, B] = A match
+  case (B *: x) => A
+  case (x *: y) => x *: (B *: y)
+  case _ => A *: B
