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. /*@typeArgs=int*/ then( | 19 Future<int> t1 = f. /*@typeArgs=int*/ /*@target=Future::then*/ then( |
20 /*@returnType=MyFuture<int>*/ (/*@type=dynamic*/ _) => | 20 /*@returnType=MyFuture<int>*/ (/*@type=dynamic*/ _) => |
21 new /*@typeArgs=int*/ MyFuture.value('hi')); | 21 new /*@typeArgs=int*/ MyFuture.value('hi')); |
22 | 22 |
23 // Instantiates List<int> | 23 // Instantiates List<int> |
24 Future<List<int>> t2 = f. /*@typeArgs=List<int>*/ then( | 24 Future<List<int>> t2 = f. /*@typeArgs=List<int>*/ /*@target=Future::then*/ then( |
25 /*@returnType=List<int>*/ (/*@type=dynamic*/ _) => /*@typeArgs=int*/ [3]); | 25 /*@returnType=List<int>*/ (/*@type=dynamic*/ _) => /*@typeArgs=int*/ [3]); |
26 Future<List<int>> g2() async { | 26 Future<List<int>> g2() async { |
27 return /*@typeArgs=int*/ [3]; | 27 return /*@typeArgs=int*/ [3]; |
28 } | 28 } |
29 | 29 |
30 Future<List<int>> g3() async { | 30 Future<List<int>> g3() async { |
31 return new /*@typeArgs=List<int>*/ MyFuture.value( | 31 return new /*@typeArgs=List<int>*/ MyFuture.value( |
32 /*@typeArgs=int*/ [3]); | 32 /*@typeArgs=int*/ [3]); |
33 } | 33 } |
OLD | NEW |