Enable GADT matching for pattern values

So far, only typed patterns an dunapply had GADT matching.
i1737.scala shows that we need to do the same thing for objects.

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/pos/i1737.scala b/tests/pos/i1737.scala
new file mode 100644
index 000000000..e7b428717
--- /dev/null
+++ b/tests/pos/i1737.scala
@@ -0,0 +1,11 @@
+object Test {
+  sealed trait Foo[A]
+  case object FooI extends Foo[Int]
+  case class FooS(b: Boolean) extends Foo[String]
+
+  def algFoo[A](foo: Foo[A]): A =
+    foo match {
+      case FooI => 42
+      case FooS(b) => "foo"
+    }
+}