summaryrefslogtreecommitdiff
path: root/test/files/neg/bug414.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/bug414.check')
-rw-r--r--test/files/neg/bug414.check4
1 files changed, 3 insertions, 1 deletions
diff --git a/test/files/neg/bug414.check b/test/files/neg/bug414.check
index 67b467ce5d..3396a803f1 100644
--- a/test/files/neg/bug414.check
+++ b/test/files/neg/bug414.check
@@ -1,4 +1,6 @@
-bug414.scala:5: error: stable identifier required, but Empty found.
+bug414.scala:5: error: pattern type is incompatibe with expected type;
+ found : object Empty
+ required: IntMap[a]
case Empty =>
^
bug414.scala:7: error: type mismatch;