blob: 10638eff52cb9b1ea2d6928e2a221e3e1656e41d (
plain) (
tree)
|
|
virtpatmat_reach_sealed_unsealed.scala:16: error: match may not be exhaustive.
It would fail on the following input: false
(true: Boolean) match { case true => } // not exhaustive, but reachable
^
virtpatmat_reach_sealed_unsealed.scala:18: error: unreachable code
(true: Boolean) match { case true => case false => case _ => } // exhaustive, last case is unreachable
^
virtpatmat_reach_sealed_unsealed.scala:19: error: unreachable code
(true: Boolean) match { case true => case false => case _: Boolean => } // exhaustive, last case is unreachable
^
virtpatmat_reach_sealed_unsealed.scala:20: error: unreachable code
(true: Boolean) match { case true => case false => case _: Any => } // exhaustive, last case is unreachable
^
four errors found
|