From 0698ca5d38cf8a4f74abdb8ded8403b1caac2606 Mon Sep 17 00:00:00 2001 From: Olivier Blanvillain Date: Thu, 23 Sep 2021 14:34:29 +0200 Subject: [PATCH] Fix #10886: Add regression test --- compiler/test-resources/repl/10886 | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 compiler/test-resources/repl/10886 diff --git a/compiler/test-resources/repl/10886 b/compiler/test-resources/repl/10886 new file mode 100644 index 000000000000..820187b0b33c --- /dev/null +++ b/compiler/test-resources/repl/10886 @@ -0,0 +1,10 @@ +scala> type Channel = "A" | "B" +// defined alias type Channel = "A" | "B" + +scala> type SelChannel[C <: Tuple] = C match { case x *: xs => x | SelChannel[xs] case _ => Nothing } + +scala> lazy val a: SelChannel[("A", "B", "C")] = a +lazy val a: "A" | ("B" | ("C" | Nothing)) + +scala>:type a +("A" : String) | (("B" : String) | (("C" : String) | Nothing))