blob: 108f4292a80bfd127f397426bdd1c6c95f8d7add (
plain) (
tree)
|
|
t7285.scala:15: error: match may not be exhaustive.
It would fail on the following input: (Up, Down)
(d1, d2) match {
^
t7285.scala:33: error: match may not be exhaustive.
It would fail on the following input: Down
(d1) match {
^
t7285.scala:51: error: match may not be exhaustive.
It would fail on the following input: (Up, Down)
(d1, d2) match {
^
three errors found
|