// 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;

void main() {
  {
    T f<T>(T x) => null;
    var /*@type=(T) -> T*/ v1 = f;
    v1 = /*@returnType=S*/ <S>(/*@type=S*/ x) => x;
  }
  {
    List<T> f<T>(T x) => null;
    var /*@type=(T) -> List<T>*/ v2 = f;
    v2 = /*@returnType=List<S>*/ <S>(/*@type=S*/ x) => /*@typeArgs=S*/ [x];
    Iterable<int> r = /*@typeArgs=int*/ v2(42);
    Iterable<String> s = /*@typeArgs=String*/ v2('hello');
    Iterable<List<int>> t = /*@typeArgs=List<int>*/ v2(<int>[]);
    Iterable<num> u = /*@typeArgs=num*/ v2(42);
    Iterable<num> v = v2<num>(42);
  }
}