test/files/neg/bug414.check


1
2
3
4
5
6
7
8
9
10
11

bug414.scala:5: error: pattern type is incompatible with expected type;
 found   : object Empty
 required: IntMap[a]
                case Empty =>
                     ^
bug414.scala:7: error: type mismatch;
 found   : Unit
 required: a
                case _ =>
                       ^
two errors found