// Formatted problems:
//
// pkg/front_end/testcases/inference_new/for_each_invalid_iterable.dart:10:53: Error: The type 'dart.core::String' used in the 'for' loop must implement 'dart.core::Iterable<dynamic>'.
//   for (int x in /*@error=ForInLoopTypeNotIterable*/ s) {}
//                                                     ^
//
// pkg/front_end/testcases/inference_new/for_each_invalid_iterable.dart:11:59: Error: The type 'dart.core::String' used in the 'for' loop must implement 'dart.async::Stream<dynamic>'.
//   await for (int x in /*@error=ForInLoopTypeNotIterable*/ s) {}
//                                                           ^
//
// pkg/front_end/testcases/inference_new/for_each_invalid_iterable.dart:13:49: Error: The type 'dart.core::String' used in the 'for' loop must implement 'dart.core::Iterable<dynamic>'.
//   for (y in /*@error=ForInLoopTypeNotIterable*/ s) {}
//                                                 ^
//
// pkg/front_end/testcases/inference_new/for_each_invalid_iterable.dart:14:55: Error: The type 'dart.core::String' used in the 'for' loop must implement 'dart.async::Stream<dynamic>'.
//   await for (y in /*@error=ForInLoopTypeNotIterable*/ s) {}
//                                                       ^

library test;
import self as self;
import "dart:core" as core;
import "dart:async" as asy;

static method test() → dynamic async {
  core::String s;
  for (final dynamic #t1 in let final<BottomType> #t2 = invalid-expression "pkg/front_end/testcases/inference_new/for_each_invalid_iterable.dart:10:53: Error: The type 'dart.core::String' used in the 'for' loop must implement 'dart.core::Iterable<dynamic>'.
  for (int x in /*@error=ForInLoopTypeNotIterable*/ s) {}
                                                    ^" in s as{TypeError} core::Iterable<dynamic>) {
    core::int x = #t1 as{TypeError} core::int;
  }
  await for (final dynamic #t3 in let final<BottomType> #t4 = invalid-expression "pkg/front_end/testcases/inference_new/for_each_invalid_iterable.dart:11:59: Error: The type 'dart.core::String' used in the 'for' loop must implement 'dart.async::Stream<dynamic>'.
  await for (int x in /*@error=ForInLoopTypeNotIterable*/ s) {}
                                                          ^" in s as{TypeError} asy::Stream<dynamic>) {
    core::int x = #t3 as{TypeError} core::int;
  }
  core::int y;
  for (final dynamic #t5 in let final<BottomType> #t6 = invalid-expression "pkg/front_end/testcases/inference_new/for_each_invalid_iterable.dart:13:49: Error: The type 'dart.core::String' used in the 'for' loop must implement 'dart.core::Iterable<dynamic>'.
  for (y in /*@error=ForInLoopTypeNotIterable*/ s) {}
                                                ^" in s as{TypeError} core::Iterable<dynamic>) {
    y = #t5 as{TypeError} core::int;
  }
  await for (final dynamic #t7 in let final<BottomType> #t8 = invalid-expression "pkg/front_end/testcases/inference_new/for_each_invalid_iterable.dart:14:55: Error: The type 'dart.core::String' used in the 'for' loop must implement 'dart.async::Stream<dynamic>'.
  await for (y in /*@error=ForInLoopTypeNotIterable*/ s) {}
                                                      ^" in s as{TypeError} asy::Stream<dynamic>) {
    y = #t7 as{TypeError} core::int;
  }
}
static method main() → dynamic {}