Expanded the check from #1392 to enclose #3123 ...

Expanded the check from #1392 to enclose #3123 as well so that "case Int
=> " doesn't crash. Closes #3123. Review by odersky.

2 files changed, 9 insertions, 0 deletions

diff --git a/test/files/neg/bug3123.check b/test/files/neg/bug3123.check
new file mode 100644
index 0000000000..8f5319c9a3
--- /dev/null
+++ b/test/files/neg/bug3123.check
@@ -0,0 +1,4 @@
+bug3123.scala:3: error: object Int is not a value
+    t match { case Int => true }
+                   ^
+one error found
diff --git a/test/files/neg/bug3123.scala b/test/files/neg/bug3123.scala
new file mode 100644
index 0000000000..667a1da918
--- /dev/null
+++ b/test/files/neg/bug3123.scala
@@ -0,0 +1,5 @@
+object NotAValue {
+  def test[T](t : T) {
+    t match { case Int => true }
+  }
+}