path: root/test/files/neg/bug414.check

bug414.scala:5: error: stable identifier required, but Empty found.
                case Empty =>
                     ^
bug414.scala:7: error: type mismatch;
 found   : Unit
 required: a
                case _ =>
                       ^
two errors found