Fix scala#12808: Add test

aluneed · Jun 14, 2021 · 04ec346 · 04ec346
1 parent b7aae46
commit 04ec346
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/tests/patmat/i12808.scala b/tests/patmat/i12808.scala
@@ -0,0 +1,10 @@
+import scala.reflect.Typeable
+
+case class Err1()
+case class Err2()
+
+def handleError[A: Typeable, B: Typeable](x: Either[A | B, Nothing]): Unit =
+  x match // false alarm warning: It would fail on pattern case: Left(_)
+  case Left(e: A)  => println("A")
+  case Left(_: B) => println("B")
+  case Right(_)    => println("Nothing")