diff options
author | Paul Phillips <paulp@improving.org> | 2013-12-15 18:28:03 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-12-15 18:28:03 -0800 |
commit | def46a9d448c4ee84eea48694a65af438370f940 (patch) | |
tree | 43ff702f2988f0d88780c92394762991c4bb8764 /test/files/neg/t7850.check | |
parent | 11bfa25e37d32f4017d5c04b4899b1bdfbd95e06 (diff) | |
download | scala-def46a9d448c4ee84eea48694a65af438370f940.tar.gz scala-def46a9d448c4ee84eea48694a65af438370f940.tar.bz2 scala-def46a9d448c4ee84eea48694a65af438370f940.zip |
SI-7850 CCE in patmat with invalid isEmpty.
Name-based pattern matcher needed some hardening against
unapply methods with the right name but wrong types. Only
isEmpty methods which return Boolean are acceptable.
Catching it directly rather than indirectly also allowed
for better error messages.
Diffstat (limited to 'test/files/neg/t7850.check')
-rw-r--r-- | test/files/neg/t7850.check | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/files/neg/t7850.check b/test/files/neg/t7850.check new file mode 100644 index 0000000000..317be2bbce --- /dev/null +++ b/test/files/neg/t7850.check @@ -0,0 +1,7 @@ +t7850.scala:11: error: an unapply result must have a member `def isEmpty: Boolean (found: def isEmpty: Casey) + val Casey(x1) = new Casey(1) + ^ +t7850.scala:12: error: an unapply result must have a member `def isEmpty: Boolean + val Dingy(x2) = new Dingy(1) + ^ +two errors found |