From def46a9d448c4ee84eea48694a65af438370f940 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Sun, 15 Dec 2013 18:28:03 -0800 Subject: 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. --- test/files/neg/t7850.check | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 test/files/neg/t7850.check (limited to 'test/files/neg/t7850.check') 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 -- cgit v1.2.3