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