Merge pull request #1364 from dotty-staging/exhaustivity2

Implementation of exhaustivity and redundancy check

1 files changed, 25 insertions, 0 deletions

diff --git a/tests/patmat/t4020.scala b/tests/patmat/t4020.scala
new file mode 100644
index 000000000..f97646019
--- /dev/null
+++ b/tests/patmat/t4020.scala
@@ -0,0 +1,25 @@
+class A {
+    sealed trait Foo
+}
+
+object a1 extends A {
+    case class Foo1(i: Int) extends Foo
+}
+
+object a2 extends A {
+    case class Foo2(i: Int) extends Foo
+}
+
+class B {
+    def mthd(foo: a2.Foo) = {
+        foo match {
+            case a2.Foo2(i) => i
+
+            // Note: This case is impossible.  In fact, scalac
+            // will (correctly) report an error if it is uncommented,
+            // but a warning if it is commented.
+
+            // case a1.Foo1(i) => i
+        }
+    }
+}
\ No newline at end of file