diff options
Diffstat (limited to 'tests/patmat/virtpatmat_reach_sealed_unsealed.check')
| -rw-r--r-- | tests/patmat/virtpatmat_reach_sealed_unsealed.check | 14 |
1 files changed, 3 insertions, 11 deletions
diff --git a/tests/patmat/virtpatmat_reach_sealed_unsealed.check b/tests/patmat/virtpatmat_reach_sealed_unsealed.check index ef5ec1a00..6b0ea7f8e 100644 --- a/tests/patmat/virtpatmat_reach_sealed_unsealed.check +++ b/tests/patmat/virtpatmat_reach_sealed_unsealed.check @@ -1,11 +1,3 @@ -./tests/patmat/virtpatmat_reach_sealed_unsealed.scala:16: warning: match may not be exhaustive. -It would fail on the following input: false - (true: Boolean) match { case true => } // not exhaustive, but reachable - ^ -./tests/patmat/virtpatmat_reach_sealed_unsealed.scala:18: warning: unreachable code - (true: Boolean) match { case true => case false => case _ => } // exhaustive, last case is unreachable - ^ -./tests/patmat/virtpatmat_reach_sealed_unsealed.scala:19: warning: unreachable code - (true: Boolean) match { case true => case false => case _: Boolean => } // exhaustive, last case is unreachable - ^ -three warnings found +16: Pattern Match Exhaustivity: false +18: Match case Unreachable +19: Match case Unreachable |