4 files changed, 14 insertions, 7 deletions
diff --git a/test/files/neg/bug630.check b/test/files/neg/bug630.check
new file mode 100644
index 0000000000..abdd13f321
--- /dev/null
+++ b/test/files/neg/bug630.check
@@ -0,0 +1,5 @@
+bug630.scala:20 error: error overriding value foo in trait Bar of type => Req2;
+ object foo has incompatible type
+        object foo extends Req1
+        ^
+one error found
diff --git a/test/files/neg/bug631.check b/test/files/neg/bug631.check
new file mode 100644
index 0000000000..ba985fab96
--- /dev/null
+++ b/test/files/neg/bug631.check
@@ -0,0 +1,4 @@
+bug631.scala:1 error: `implicit' modifier cannot be used for top-level objects
+implicit object Test {
+         ^
+one error found
diff --git a/test/files/neg/bug639.check b/test/files/neg/bug639.check
index 7458952ce3..4a6f8d1af3 100644
--- a/test/files/neg/bug639.check
+++ b/test/files/neg/bug639.check
@@ -1,9 +1,4 @@
-/home/odersky/scala/test/files/pos/bug639.scala:1 error: not found: value a
+bug639.scala:3 error: not found: value a
 import a._
        ^
-/home/odersky/scala/test/files/pos/bug639.scala:2 error: type mismatch;
- found   : B
- required: scala.Attribute
-[B]
- ^
-two errors found
+one error found
diff --git a/test/files/neg/bug639.scala b/test/files/neg/bug639.scala
index 7be0968069..a8416b2b2c 100644
--- a/test/files/neg/bug639.scala
+++ b/test/files/neg/bug639.scala
@@ -1,3 +1,6 @@
+package foo123
+
 import a._
+
 [B]
 class C