"type mismatch" errors do not always give a useful expected type

``` scala
val x: List[String] = List(1)
```

``` scala
error: type mismatch:
 found   : Int(1)
 required: A
  val x: List[String] = List(1)
                             ^
```

Note that it says `required: A` instead of `required: String`.
