OLD | NEW |
1 // Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 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 | 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. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 /*@testedFeatures=inference*/ | 5 /*@testedFeatures=inference*/ |
6 library test; | 6 library test; |
7 | 7 |
8 import 'dart:async'; | 8 import 'dart:async'; |
9 | 9 |
10 Future<int> make(int x) => (new /*@typeArgs=int*/ Future( | 10 Future<int> make(int x) => (new /*@typeArgs=int*/ Future( |
(...skipping 20 matching lines...) Expand all Loading... |
31 '', | 31 '', |
32 /*info:INFERRED_TYPE_CLOSURE,error:ARGUMENT_TYPE_NOT_ASSIGNABL
E*/ /*@returnType=String*/ (String | 32 /*info:INFERRED_TYPE_CLOSURE,error:ARGUMENT_TYPE_NOT_ASSIGNABL
E*/ /*@returnType=String*/ (String |
33 x, | 33 x, |
34 /*@type=int*/ y) => | 34 /*@type=int*/ y) => |
35 /*@promotedType=none*/ x + /*@promotedType=none*/ y | 35 /*@promotedType=none*/ x + /*@promotedType=none*/ y |
36 .toString())); | 36 .toString())); |
37 | 37 |
38 Future<String> results4 = /*@promotedType=none*/ results | 38 Future<String> results4 = /*@promotedType=none*/ results |
39 . /*@typeArgs=String*/ then( | 39 . /*@typeArgs=String*/ then( |
40 /*@returnType=String*/ (List<int> list) => /*@promotedType=none*/ list | 40 /*@returnType=String*/ (List<int> list) => /*@promotedType=none*/ list |
41 . /*@typeArgs=String*/ fold<String>( | 41 .fold<String>( |
42 '', | 42 '', |
43 /*@returnType=String*/ (/*@type=String*/ x, | 43 /*@returnType=String*/ (/*@type=String*/ x, |
44 /*@type=int*/ y) => | 44 /*@type=int*/ y) => |
45 /*@promotedType=none*/ x + /*@promotedType=none*/ y | 45 /*@promotedType=none*/ x + /*@promotedType=none*/ y |
46 .toString())); | 46 .toString())); |
47 } | 47 } |
OLD | NEW |