| OLD | NEW |
| (Empty) | |
| 1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 |
| 5 /*@testedFeatures=inference*/ |
| 6 library test; |
| 7 |
| 8 typedef Iterable<num> F(int x); |
| 9 typedef List<int> G(double x); |
| 10 |
| 11 T generic<T>(a(T _), b(T _)) => null; |
| 12 |
| 13 main() { |
| 14 var /*@type=<unknown>::(num x) → List<int>*/ v = generic( |
| 15 /*@returnType=dynamic*/ (F f) => null, |
| 16 /*@returnType=dynamic*/ (G g) => null); |
| 17 } |
| OLD | NEW |