| // 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. |
| // @dart=2.9 |
| /*@testedFeatures=inference*/ |
| library test; |
| |
| void main() { |
| { |
| T f<T>(T x) => null; |
| var /*@type=<T extends Object* = dynamic>(T*) ->* T**/ v1 = f; |
| v1 = <S> /*@returnType=S**/ (/*@type=S**/ x) => x; |
| } |
| { |
| List<T> f<T>(T x) => null; |
| var /*@type=<T extends Object* = dynamic>(T*) ->* List<T*>**/ v2 = f; |
| v2 = <S> /*@returnType=List<S*>**/ |
| (/*@type=S**/ x) => /*@typeArgs=S**/ [x]; |
| Iterable<int> r = v2 /*@typeArgs=int**/ (42); |
| Iterable<String> s = v2 /*@typeArgs=String**/ ('hello'); |
| Iterable<List<int>> t = v2 /*@typeArgs=List<int*>**/ (<int>[]); |
| Iterable<num> u = v2 /*@typeArgs=num**/ (42); |
| Iterable<num> v = v2<num>(42); |
| } |
| } |