sealed abstract class Parent // The warning goes away if `sealed` is removed

class A extends Parent
class B extends Parent

inline def matchAs[T <: Parent](p: Parent): Unit = p match // The type bound is necessary
    case p: T =>
    case _ => println("unreachable case reached") // Warning here: "Unreachable case except for null [...]"
end matchAs

@main def main: Unit =
    matchAs[A](new B)
end main

[warn] -- [E121] Pattern Match Warning: [...]/inline_poc/src/main/scala/poc.scala:9:9 
[warn] 9 |    case _ => println("unreachable case reached")
[warn]   |         ^
[warn]   |Unreachable case except for null (if this is intentional, consider writing case null => instead).
[warn] one warning found