| 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 MyFuture<int> t1 = /*@promotedType=none*/ f.then( | 19 MyFuture<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 MyFuture<int> t2 = /*@promotedType=none*/ f | 22 MyFuture<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 MyFuture<int> t3 = /*@promotedType=none*/ f | 26 MyFuture<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 MyFuture<int> t4 = /*@promotedType=none*/ f | 28 MyFuture<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 MyFuture<int> t5 = /*@promotedType=none*/ f.then( | 32 MyFuture<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 MyFuture<int> t6 = /*@promotedType=none*/ f | 35 MyFuture<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 MyFuture<int> t7 = /*@promotedType=none*/ f.then( | 39 MyFuture<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 MyFuture<int> t8 = /*@promotedType=none*/ f | 42 MyFuture<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 |