summaryrefslogtreecommitdiff
path: root/test/files/neg/gadts1.check
diff options
context:
space:
mode:
Diffstat (limited to 'test/files/neg/gadts1.check')
-rw-r--r--test/files/neg/gadts1.check5
1 files changed, 4 insertions, 1 deletions
diff --git a/test/files/neg/gadts1.check b/test/files/neg/gadts1.check
index 44d2b114d6..0441f604c9 100644
--- a/test/files/neg/gadts1.check
+++ b/test/files/neg/gadts1.check
@@ -11,4 +11,7 @@ gadts1.scala:20: error: type mismatch;
required: a
case Cell[a](x: Int) => c.x = 5
^
-three errors found
+gadts1.scala:20: error: Could not typecheck extractor call: case class <none> with arguments List((x @ (_: Int)))
+ case Cell[a](x: Int) => c.x = 5
+ ^
+four errors found