Update test (thanks to @kevin-lee)

Author: liufengyun

tests/patmat/i12337.check

@@ -1 +1,2 @@
 8: Pattern Match Exhaustivity: Foo(Inactive)
+17: Pattern Match Exhaustivity: Foo(Status.Active(_))

tests/patmat/i12337.scala

@@ -1,12 +1,26 @@
 sealed trait Status
 object Status {
-  case object Active   extends Status
+  case class Active(since: Int) extends Status
   case object Inactive extends Status
 }
 
 case class Foo(status: Status)
-def bar(user: Foo): Unit = user match {
-  case Foo(Status.Active) =>
-    println("active")
-    // no compile-time warning for missing Status.Inactive case
+def bar(foo: Foo): Unit = foo match {
+  case Foo(Status.Active(since)) =>
+    println(s"active since $since")
 }
+// Expected:
+// warning: match may not be exhaustive.
+// It would fail on the following input: Foo(Inactive)
+// def bar(foo: Foo): Unit = foo match {
+
+def baz(foo: Foo): Unit = foo match {
+  case Foo(Status.Active(2000)) =>
+    println("active since 2000")
+  case Foo(Status.Inactive) =>
+    println("inactive")
+}
+// Expected:
+// warning: match may not be exhaustive.
+// It would fail on the following input: Foo(Active((x: Int forSome x not in 2000)))
+// def baz(foo: Foo): Unit = foo match {