From 4019f86c990d9f60ace7c233471e781fd3108db5 Mon Sep 17 00:00:00 2001 From: Olivier Blanvillain Date: Fri, 7 May 2021 16:46:14 +0200 Subject: [PATCH] Fix #9849: Add regression test --- tests/pos-deep-subtype/9849.scala | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 tests/pos-deep-subtype/9849.scala diff --git a/tests/pos-deep-subtype/9849.scala b/tests/pos-deep-subtype/9849.scala new file mode 100644 index 000000000000..45f7288b8956 --- /dev/null +++ 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