| Index: pkg/front_end/testcases/inference/future_union_downwards_2.dart
|
| diff --git a/pkg/front_end/testcases/inference/future_union_downwards_2.dart b/pkg/front_end/testcases/inference/future_union_downwards_2.dart
|
| index c7e8003d4e451999c06e60a73a8e8cd617f22715..30e4e3cb4ca0c5f7a1fba9a5cbe8a23b8bca391a 100644
|
| --- a/pkg/front_end/testcases/inference/future_union_downwards_2.dart
|
| +++ b/pkg/front_end/testcases/inference/future_union_downwards_2.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=MyFuture<int>*/ (/*@type=dynamic*/ _) =>
|
| new /*@typeArgs=int*/ MyFuture.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];
|
| }
|
|
|