Add type inference logic for "for-in" loops.

pkg/front_end/testcases/inference/downwards_inference_for_each.dart

Index: pkg/front_end/testcases/inference/downwards_inference_for_each.dart
diff --git a/pkg/front_end/testcases/inference/downwards_inference_for_each.dart b/pkg/front_end/testcases/inference/downwards_inference_for_each.dart
index 5e37b04e222697c107d5b179587c7480ee0ff3c6..68c6a63f44b76b336cf088c1df9cf379267ad80d 100644
--- a/pkg/front_end/testcases/inference/downwards_inference_for_each.dart
+++ b/pkg/front_end/testcases/inference/downwards_inference_for_each.dart
@@ -11,7 +11,27 @@ abstract class MyStream<T> extends Stream<T> {
   factory MyStream() => null;
 }
 
+T F<T>() => null;
+
+Future f() async {
+  dynamic d;
+  Object o;
+  for (var /*@type=dynamic*/ x in /*@typeArgs=dynamic*/ F()) {}
+  for (dynamic x in /*@typeArgs=Iterable<dynamic>*/ F()) {}
+  for (Object x in /*@typeArgs=Iterable<Object>*/ F()) {}
+  for (d in /*@typeArgs=dynamic*/ F()) {}
+  for (o in /*@typeArgs=dynamic*/ F()) {}
+  await for (var /*@type=dynamic*/ x in /*@typeArgs=dynamic*/ F()) {}
+  await for (dynamic x in /*@typeArgs=Stream<dynamic>*/ F()) {}
+  await for (Object x in /*@typeArgs=Stream<Object>*/ F()) {}
+  await for (d in /*@typeArgs=dynamic*/ F()) {}
+  await for (o in /*@typeArgs=dynamic*/ F()) {}
+}
+
 Future main() async {
   for (int x in /*@typeArgs=int*/ [1, 2, 3]) {}
+  for (num x in /*@typeArgs=num*/ [1, 2, 3]) {}
+  for (var /*@type=int*/ x in /*@typeArgs=int*/ [1, 2, 3]) {}
   await for (int x in new /*@typeArgs=int*/ MyStream()) {}
+  await for (var /*@type=int*/ x in new MyStream<int>()) {}
 }