Finally figured out what was going on with a ce...

Finally figured out what was going on with a certain class of
exhaustiveness checking bugs. Hey moors, you can put away your pins,
puppets, and magic sauces. Closes #3098, no review.

2 files changed, 14 insertions, 0 deletions

diff --git a/test/files/neg/bug3098/a.scala b/test/files/neg/bug3098/a.scala
new file mode 100644
index 0000000000..57a103c7a8
--- /dev/null
+++ b/test/files/neg/bug3098/a.scala
@@ -0,0 +1,6 @@
+// Traits.scala
+sealed trait T
+
+trait A extends T
+trait B extends T
+trait C extends T
diff --git a/test/files/neg/bug3098/b.scala b/test/files/neg/bug3098/b.scala
new file mode 100644
index 0000000000..84a1f9f6f4
--- /dev/null
+++ b/test/files/neg/bug3098/b.scala
@@ -0,0 +1,8 @@
+// Test.scala
+object Test {
+  def f = (null: T) match {
+    case _: A => println("A")
+    case _: B => println("B")
+    // no C
+  }
+}