pkg/front_end/testcases/inference/downwards_inference_for_each.dart

// Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/*@testedFeatures=inference*/
library test;

import 'dart:async';

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=Iterable<dynamic>*/ F()) {}
  for (dynamic x in /*@typeArgs=Iterable<dynamic>*/ F()) {}
  for (Object x in /*@typeArgs=Iterable<Object>*/ F()) {}
  for (d in /*@typeArgs=Iterable<dynamic>*/ F()) {}
  for (o in /*@typeArgs=Iterable<Object>*/ F()) {}
  await for (var /*@type=dynamic*/ x in /*@typeArgs=Stream<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=Stream<dynamic>*/ F()) {}
  await for (o in /*@typeArgs=Stream<Object>*/ 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>()) {}
}