// Copyright (c) 2018, 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*/

void test() {
  List<dynamic> l = /*@ typeArgs=dynamic */ [1, "hello"];
  List<String> l2 = l
      . /*@target=Iterable::map*/ /*@ typeArgs=String* */ map(
          /*@ returnType=String* */ (dynamic element) =>
              element. /*@target=Object::toString*/ toString())
      . /*@target=Iterable::toList*/ toList();
}

void main() {}