1 files changed, 22 insertions, 0 deletions
diff --git a/tests/untried/neg/t4877.check b/tests/untried/neg/t4877.check
new file mode 100644
index 000000000..5a2413ca8
--- /dev/null
+++ b/tests/untried/neg/t4877.check
@@ -0,0 +1,22 @@
+t4877.scala:4: error: type mismatch;
+ found   : AnyRef{def bar: Int}
+ required: AnyRef{def bar: String}
+  def foo: AnyRef { def bar: String } = new AnyRef { def bar = 42 }
+                                        ^
+t4877.scala:6: error: type mismatch;
+ found   : AnyRef{def bar(x: Int): String}
+ required: AnyRef{def bar(x: Int): Int}
+  def foo3: AnyRef { def bar(x: Int): Int } = new AnyRef { def bar(x: Int) = "abc" }
+                                              ^
+t4877.scala:7: error: type mismatch;
+ found   : C{def bar(x: Int): Int}
+ required: C{def bar(x: Int): Int; def quux(x: Int): Int}
+  def foo4: C { def bar(x: Int): Int ; def quux(x: Int): Int } = new C { def bar(x: Int) = 5 }
+                                                                 ^
+t4877.scala:17: error: type mismatch;
+ found   : AnyRef{type Mom = String; def bar(x: Int): Int; def bippy(): List[Int]}
+ required: B.this.Bippy
+    (which expands to)  AnyRef{type Mom; def bar(x: Int): this.Mom; def bippy(): List[this.Mom]}
+  val x: Bippy = new AnyRef {
+                 ^
+four errors found