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