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 class MyFuture<T> implements Future<T> { | 10 class MyFuture<T> implements Future<T> { |
11 MyFuture() {} | 11 MyFuture() {} |
12 MyFuture.value([x]) {} | 12 MyFuture.value([x]) {} |
13 dynamic noSuchMethod(invocation); | 13 dynamic noSuchMethod(invocation); |
14 MyFuture<S> then<S>(FutureOr<S> f(T x), {Function onError}) => null; | 14 MyFuture<S> then<S>(FutureOr<S> f(T x), {Function onError}) => null; |
15 } | 15 } |
16 | 16 |
17 Future f; | 17 Future f; |
18 // Instantiates Future<int> | 18 // Instantiates Future<int> |
19 Future<int> t1 = f.then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) => | 19 Future<int> t1 = f. /*@typeArgs=int*/ then( |
20 new /*@typeArgs=int*/ Future.value('hi')); | 20 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) => |
| 21 new /*@typeArgs=int*/ Future.value('hi')); |
21 | 22 |
22 // Instantiates List<int> | 23 // Instantiates List<int> |
23 Future<List<int>> t2 = f.then( | 24 Future<List<int>> t2 = f. /*@typeArgs=List<int>*/ then( |
24 /*@returnType=List<int>*/ (/*@type=dynamic*/ _) => /*@typeArgs=int*/ [3]); | 25 /*@returnType=List<int>*/ (/*@type=dynamic*/ _) => /*@typeArgs=int*/ [3]); |
25 Future<List<int>> g2() async { | 26 Future<List<int>> g2() async { |
26 return /*@typeArgs=int*/ [3]; | 27 return /*@typeArgs=int*/ [3]; |
27 } | 28 } |
28 | 29 |
29 Future<List<int>> g3() async { | 30 Future<List<int>> g3() async { |
30 return new /*@typeArgs=List<int>*/ Future.value( | 31 return new /*@typeArgs=List<int>*/ Future.value( |
31 /*@typeArgs=int*/ [3]); | 32 /*@typeArgs=int*/ [3]); |
32 } | 33 } |
OLD | NEW |