| Index: pkg/front_end/testcases/inference/future_then_upwards_2.dart
|
| diff --git a/pkg/front_end/testcases/inference/future_then_upwards_2.dart b/pkg/front_end/testcases/inference/future_then_upwards_2.dart
|
| index 9f850af26927f6a4995781f2a594b8ed4b3faf3a..1f2b87d96eb512b69dfbee700d679a2dfd1c0566 100644
|
| --- a/pkg/front_end/testcases/inference/future_then_upwards_2.dart
|
| +++ b/pkg/front_end/testcases/inference/future_then_upwards_2.dart
|
| @@ -15,13 +15,13 @@ class MyFuture<T> implements Future<T> {
|
| }
|
|
|
| void main() {
|
| - var /*@type=MyFuture<double>*/ f =
|
| - foo().then(/*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3);
|
| + var /*@type=MyFuture<double>*/ f = foo(). /*@typeArgs=double*/ then(
|
| + /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3);
|
| MyFuture<int> f2 = /*error:INVALID_ASSIGNMENT*/ /*@promotedType=none*/ f;
|
|
|
| // The unnecessary cast is to illustrate that we inferred <double> for
|
| // the generic type args, even though we had a return type context.
|
| - MyFuture<num> f3 = /*info:UNNECESSARY_CAST*/ foo().then(
|
| + MyFuture<num> f3 = /*info:UNNECESSARY_CAST*/ foo(). /*@typeArgs=double*/ then(
|
| /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3) as MyFuture<double>;
|
| }
|
|
|
|
|