| Index: pkg/front_end/testcases/inference/future_then_2.dart
|
| diff --git a/pkg/front_end/testcases/inference/future_then_2.dart b/pkg/front_end/testcases/inference/future_then_2.dart
|
| index 6c0c5317a7325eaa7c63ae8e9df7d6b7bacd8722..8e7875369cce097af29cf4fd05d4b1d2597df251 100644
|
| --- a/pkg/front_end/testcases/inference/future_then_2.dart
|
| +++ b/pkg/front_end/testcases/inference/future_then_2.dart
|
| @@ -16,31 +16,39 @@ class MyFuture<T> implements Future<T> {
|
|
|
| void main() {
|
| MyFuture f;
|
| - Future<int> t1 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async =>
|
| - await new MyFuture<int>.value(3));
|
| - Future<int> t2 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async {
|
| + Future<int> t1 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async =>
|
| + await new MyFuture<int>.value(3));
|
| + Future<int> t2 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async {
|
| return await new MyFuture<int>.value(3);
|
| });
|
| - Future<int> t3 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => 3);
|
| - Future<int> t4 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async {
|
| + Future<int> t3 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async => 3);
|
| + Future<int> t4 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async {
|
| return 3;
|
| });
|
| - Future<int> t5 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=MyFuture<int>*/ (/*@type=dynamic*/ _) =>
|
| - new MyFuture<int>.value(3));
|
| - Future<int> t6 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=MyFuture<int>*/ (/*@type=dynamic*/ _) {
|
| + Future<int> t5 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=MyFuture<int>*/ (/*@type=dynamic*/ _) =>
|
| + new MyFuture<int>.value(3));
|
| + Future<int> t6 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=MyFuture<int>*/ (/*@type=dynamic*/ _) {
|
| return new MyFuture<int>.value(3);
|
| });
|
| - Future<int> t7 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async =>
|
| - new MyFuture<int>.value(3));
|
| - Future<int> t8 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async {
|
| + Future<int> t7 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async =>
|
| + new MyFuture<int>.value(3));
|
| + Future<int> t8 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async {
|
| return new MyFuture<int>.value(3);
|
| });
|
| }
|
|
|