more additions to checknull.

2 files changed, 28 insertions, 0 deletions

diff --git a/test/files/neg/bug997.check b/test/files/neg/bug997.check
new file mode 100644
index 0000000000..ba6dfd94bb
--- /dev/null
+++ b/test/files/neg/bug997.check
@@ -0,0 +1,13 @@
+bug997.scala:7: error: wrong number of arguments for object Foo of type Foo.type
+"x" match { case Foo(a) => Console.println(a) }

+                    ^
+bug997.scala:7: error: not found: value a
+"x" match { case Foo(a) => Console.println(a) }

+                                           ^
+bug997.scala:13: error: wrong number of arguments for object Foo of type Foo.type
+"x" match { case Foo(a, b, c) => Console.println((a,b,c)) }

+                    ^
+bug997.scala:13: error: not found: value a
+"x" match { case Foo(a, b, c) => Console.println((a,b,c)) }

+                                                  ^
+four errors found
diff --git a/test/files/neg/bug997.scala b/test/files/neg/bug997.scala
new file mode 100755
index 0000000000..b6897e62df
--- /dev/null
+++ b/test/files/neg/bug997.scala
@@ -0,0 +1,15 @@
+// An extractor with 2 results
+object Foo { def unapply(x : String)  = Some(Pair(x, x)) }
+
+object Test extends Application {
+
+// Prints 'x'; ought not to compile (or maybe a should be the Pair?).
+"x" match { case Foo(a) => Console.println(a) }
+
+// Prints '(x,x)' as expected.
+"x" match { case Foo(a, b) => Console.println((a,b)) }
+
+// Gives confusing error 'not found: value c'.
+"x" match { case Foo(a, b, c) => Console.println((a,b,c)) }
+
+}