Problem with typing of ValDef with anonymous class

[liufengyun]

Following code fails to type check in dotc, which is the second issue reported in #1707:

object DepBug {
  val dep = new {
    val a = 3
    val b = 4
  }

  dep.a + dep.b
}

[smarter]

This is intended. Type inference does not produce structural types in Dotty.