Infer types for foreach loop indices

[leafpetersen]

In this code, we should infer a type for x

  class Foo {
    int bar = 42;
  }

  var l = List<Foo>();
  for (var x in list) {
    String y = /*info:DownCast should be severe:StaticTypeError*/x;
  }

[vsmenon]

This was fixed a while back.