No warning is triggered for non-exhaustive pattern matching on case class field

Compiler version

3.0.0-RC3 from print scalaVersion on sbt console.

Minimized code

sealed trait Status
object Status {
  case object Active   extends Status
  case object Inactive extends Status
}

final 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
}

scalacOptions has

List(
  "-unchecked",
  "-deprecation",
  "-feature",
  "-Xfatal-warnings"
)

NOTE:

• Replacing the Status above with the enum like below doesn’t make any difference.

  enum Status {
    case Active
    case Inactive
  }
  

• final case class (i.e. final case class Foo(status: Status)) makes no difference.

Output

It compiles without any warning or error even with -Xfatal-warnings, and it results in the following runtime error.

[error] (run-main-1) scala.MatchError: Foo(Inactive) (of class kevinlee.Example1$Foo)
[error] scala.MatchError: Foo(Inactive) (of class kevinlee.Example1$Foo)
...

Expectation

The compile-time warning like

match may not be exhaustive.
It would fail on the following input: Foo(Inactive)
    def bar(user: Foo): Unit = user match {

(or the compile-time error with "-Xfatal-warnings" compiler option)

[som-snytt]

final is also not required to see the warning in Scala 2. All that is required is that it walk like a duck.

[Kevin-Lee]

@liufengyun Here is the same code in Scala 2.13.5. As you can see, the non-exhaustive warning is triggered. ~~https://scastie.scala-lang.org/AXKSl4K5S26cPjTE8b1kdw~~ https://scastie.scala-lang.org/KoU8DeZvTuKMlTfHFmHYeg (updated with non-final case class)