| 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=MyFuture<int>*/ (/*@type=dynamic*/ _) => | 19 Future<int> t1 = f. /*@typeArgs=int*/ then( |
| 20 new /*@typeArgs=int*/ MyFuture.value('hi')); | 20 /*@returnType=MyFuture<int>*/ (/*@type=dynamic*/ _) => |
| 21 new /*@typeArgs=int*/ MyFuture.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>*/ MyFuture.value( | 31 return new /*@typeArgs=List<int>*/ MyFuture.value( |
| 31 /*@typeArgs=int*/ [3]); | 32 /*@typeArgs=int*/ [3]); |
| 32 } | 33 } |
| OLD | NEW |