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 var /*@type=MyFuture<double>*/ f = foo(). /*@typeArgs=double*/ then( | 18 var /*@type=MyFuture<double>*/ f = |
19 /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3); | 19 foo(). /*@typeArgs=double*/ /*@target=MyFuture::then*/ then( |
| 20 /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3); |
20 MyFuture<int> f2 = /*error:INVALID_ASSIGNMENT*/ /*@promotedType=none*/ f; | 21 MyFuture<int> f2 = /*error:INVALID_ASSIGNMENT*/ /*@promotedType=none*/ f; |
21 | 22 |
22 // The unnecessary cast is to illustrate that we inferred <double> for | 23 // The unnecessary cast is to illustrate that we inferred <double> for |
23 // the generic type args, even though we had a return type context. | 24 // the generic type args, even though we had a return type context. |
24 MyFuture<num> f3 = /*info:UNNECESSARY_CAST*/ foo(). /*@typeArgs=double*/ then( | 25 MyFuture<num> f3 = /*info:UNNECESSARY_CAST*/ foo() |
25 /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3) as MyFuture<double>; | 26 . /*@typeArgs=double*/ /*@target=MyFuture::then*/ then( |
| 27 /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3) |
| 28 as MyFuture<double>; |
26 } | 29 } |
27 | 30 |
28 MyFuture foo() => new MyFuture<int>.value(1); | 31 MyFuture foo() => new MyFuture<int>.value(1); |
OLD | NEW |