| Index: pkg/front_end/testcases/inference/future_union_downwards.dart
|
| diff --git a/pkg/front_end/testcases/inference/future_union_downwards.dart b/pkg/front_end/testcases/inference/future_union_downwards.dart
|
| index 5914cef14b283b88f4c9292eaaeef9af549deb45..ecab7e6fb6c22e38d179b1afd0da6b752e46b3b5 100644
|
| --- a/pkg/front_end/testcases/inference/future_union_downwards.dart
|
| +++ b/pkg/front_end/testcases/inference/future_union_downwards.dart
|
| @@ -16,13 +16,16 @@ class MyFuture<T> implements Future<T> {
|
|
|
| MyFuture f;
|
| // Instantiates Future<int>
|
| -Future<int> t1 = f. /*@typeArgs=int*/ then(
|
| +Future<int> t1 = f. /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) =>
|
| new /*@typeArgs=int*/ Future.value('hi'));
|
|
|
| // Instantiates List<int>
|
| -Future<List<int>> t2 = f. /*@typeArgs=List<int>*/ then(
|
| - /*@returnType=List<int>*/ (/*@type=dynamic*/ _) => /*@typeArgs=int*/ [3]);
|
| +Future<List<int>> t2 =
|
| + f. /*@typeArgs=List<int>*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=List<int>*/ (/*@type=dynamic*/ _) => /*@typeArgs=int*/ [
|
| + 3
|
| + ]);
|
| Future<List<int>> g2() async {
|
| return /*@typeArgs=int*/ [3];
|
| }
|
|
|