SI-9398 Treat case classes as one-element ADTs for analysis

Currently, exhaustivity analysis only runs for scrutinees with
a sealed type.

This commit treats any case class as a one-element, sealed type
to enable additional analysis, such as in the new test case.

1 files changed, 1 insertions, 1 deletions

diff --git a/test/junit/scala/tools/nsc/transform/patmat/PatmatBytecodeTest.scala b/test/junit/scala/tools/nsc/transform/patmat/PatmatBytecodeTest.scala
index cef27b4d87..ec4621b230 100644
--- a/test/junit/scala/tools/nsc/transform/patmat/PatmatBytecodeTest.scala
+++ b/test/junit/scala/tools/nsc/transform/patmat/PatmatBytecodeTest.scala
@@ -121,7 +121,7 @@ class PatmatBytecodeTest extends ClearAfterClass {
     val code =
       """case class Foo(x: Any, y: String)
         |class C {
-        |  def a = Foo(1, "a") match {
+        |  def a = (Foo(1, "a"): @unchecked) match {
         |    case Foo(_: String, y) => y
         |  }
         |}