*** empty log message ***

10 files changed, 49 insertions, 0 deletions

diff --git a/test/neg/bug86.check b/test/neg/bug86.check
new file mode 100644
index 0000000000..9ef489429c
--- /dev/null
+++ b/test/neg/bug86.check
@@ -0,0 +1,4 @@
+bug86.scala:4: trait Foo is abstract, so it cannot be instantiated
+  new Foo();
+  ^
+one error found
diff --git a/test/neg/bug86.scala b/test/neg/bug86.scala
new file mode 100644
index 0000000000..a11f49aa90
--- /dev/null
+++ b/test/neg/bug86.scala
@@ -0,0 +1,7 @@
+trait Foo();
+
+object foo {
+  new Foo();
+  new Foo(){};
+  new Foo(){0};
+}
diff --git a/test/neg/bug87.check b/test/neg/bug87.check
new file mode 100644
index 0000000000..595ba64ee4
--- /dev/null
+++ b/test/neg/bug87.check
@@ -0,0 +1,4 @@
+bug87.scala:2: type C is not a member of foo
+  new foo.C;
+         ^
+one error found
diff --git a/test/neg/bug87.scala b/test/neg/bug87.scala
new file mode 100644
index 0000000000..8e9a84928f
--- /dev/null
+++ b/test/neg/bug87.scala
@@ -0,0 +1,3 @@
+object foo {
+  new foo.C;
+}
diff --git a/test/neg/bug95.check b/test/neg/bug95.check
new file mode 100644
index 0000000000..d142a27b6f
--- /dev/null
+++ b/test/neg/bug95.check
@@ -0,0 +1,7 @@
+test/neg/bug95.scala:1: illegal inheritance from sealed class
+class C extends AnyVal;
+                ^
+test/neg/bug95.scala:2: illegal inheritance from sealed class
+class T extends Unit;
+                ^
+two errors found
diff --git a/test/neg/bug95.scala b/test/neg/bug95.scala
new file mode 100644
index 0000000000..9893d7f5a4
--- /dev/null
+++ b/test/neg/bug95.scala
@@ -0,0 +1,2 @@
+class C extends AnyVal;
+class T extends Unit;
diff --git a/test/neg/bug96.check b/test/neg/bug96.check
new file mode 100644
index 0000000000..ab5871b39e
--- /dev/null
+++ b/test/neg/bug96.check
@@ -0,0 +1,5 @@
+bug96.scala:5: method foo in class B of type (def scala.Any)scala.Object
+ cannot override method foo in class A of type (scala.Any)scala.Object
+    override def foo(def x: Any): Object = null;
+                 ^
+one error found
diff --git a/test/neg/bug96.scala b/test/neg/bug96.scala
new file mode 100644
index 0000000000..4694e9edc7
--- /dev/null
+++ b/test/neg/bug96.scala
@@ -0,0 +1,6 @@
+class A {
+    def foo(x: Any): Object = null;
+}
+class B extends A {
+    override def foo(def x: Any): Object = null;
+}
diff --git a/test/neg/bug97.check b/test/neg/bug97.check
new file mode 100644
index 0000000000..5d4fcacb1b
--- /dev/null
+++ b/test/neg/bug97.check
@@ -0,0 +1,4 @@
+test/neg/bug97.scala:3: expected pattern type scala.Any does not conform to sequence trait scala.List
+    case List(y) => "zero"
+         ^
+one error found
diff --git a/test/neg/bug97.scala b/test/neg/bug97.scala
new file mode 100644
index 0000000000..c9bfebcfa0
--- /dev/null
+++ b/test/neg/bug97.scala
@@ -0,0 +1,7 @@
+object Main {
+  def foo(x: Any) = x match {
+    case List(y) => "zero"
+    case y :: ys => "one"
+  }
+  def main(args: Array[String]) = System.out.println(List(1, 2));
+}