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(T x) {} | 12 MyFuture.value(T 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 void main() { | 17 void main() { |
18 MyFuture f; | 18 MyFuture f; |
19 Future<int> t1 = /*@promotedType=none*/ f.then( | 19 Future<int> t1 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then( |
20 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => | 20 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => |
21 await new Future<int>.value(3)); | 21 await new Future<int>.value(3)); |
22 Future<int> t2 = /*@promotedType=none*/ f | 22 Future<int> t2 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then( |
23 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async { | 23 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async { |
24 return await new Future<int>.value(3); | 24 return await new Future<int>.value(3); |
25 }); | 25 }); |
26 Future<int> t3 = /*@promotedType=none*/ f | 26 Future<int> t3 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then( |
27 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => 3); | 27 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => 3); |
28 Future<int> t4 = /*@promotedType=none*/ f | 28 Future<int> t4 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then( |
29 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async { | 29 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async { |
30 return 3; | 30 return 3; |
31 }); | 31 }); |
32 Future<int> t5 = /*@promotedType=none*/ f.then( | 32 Future<int> t5 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then( |
33 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) => | 33 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) => |
34 new Future<int>.value(3)); | 34 new Future<int>.value(3)); |
35 Future<int> t6 = /*@promotedType=none*/ f | 35 Future<int> t6 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then( |
36 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) { | 36 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) { |
37 return new Future<int>.value(3); | 37 return new Future<int>.value(3); |
38 }); | 38 }); |
39 Future<int> t7 = /*@promotedType=none*/ f.then( | 39 Future<int> t7 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then( |
40 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => | 40 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => |
41 new Future<int>.value(3)); | 41 new Future<int>.value(3)); |
42 Future<int> t8 = /*@promotedType=none*/ f | 42 Future<int> t8 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then( |
43 .then(/*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async { | 43 /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async { |
44 return new Future<int>.value(3); | 44 return new Future<int>.value(3); |
45 }); | 45 }); |
46 } | 46 } |
OLD | NEW |