Properly type infer for-in loops when the iterator type is a type parameter.

pkg/front_end/testcases/inference/lambda_does_not_have_propagated_type_hint.dart.strong.expect

Index: pkg/front_end/testcases/inference/lambda_does_not_have_propagated_type_hint.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/lambda_does_not_have_propagated_type_hint.dart.strong.expect b/pkg/front_end/testcases/inference/lambda_does_not_have_propagated_type_hint.dart.strong.expect
new file mode 100644
index 0000000000000000000000000000000000000000..1821742e3a1757018e0420e0e503805a16d8c04e
--- /dev/null
+++ b/pkg/front_end/testcases/inference/lambda_does_not_have_propagated_type_hint.dart.strong.expect
@@ -0,0 +1,21 @@
+library test;
+import self as self;
+import "dart:core" as core;
+
+static method getListOfString() → core::List<core::String>
+  return const <core::String>[];
+static method foo() → void {
+  core::List<dynamic> myList = self::getListOfString();
+  myList.{core::Iterable::map}<core::int>((dynamic type) → core::int => 42);
+}
+static method bar() → void {
+  dynamic list;
+  try {
+    list = <core::String>[];
+  }
+  on dynamic catch(final dynamic _) {
+    return;
+  }
+  list.map((dynamic value) → core::String => "${value}");
+}
+static method main() → dynamic {}