| Index: pkg/front_end/testcases/inference/future_then.dart
|
| diff --git a/pkg/front_end/testcases/inference/future_then.dart b/pkg/front_end/testcases/inference/future_then.dart
|
| index 3141aa18e68722229b98331c555902ab1ac6a24b..3d131757babdc432086ba7baafb17a2c2454d2cd 100644
|
| --- a/pkg/front_end/testcases/inference/future_then.dart
|
| +++ b/pkg/front_end/testcases/inference/future_then.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 Future<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 Future<int>.value(3));
|
| + Future<int> t2 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async {
|
| return await new Future<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=Future<int>*/ (/*@type=dynamic*/ _) =>
|
| - new Future<int>.value(3));
|
| - Future<int> t6 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) {
|
| + Future<int> t5 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) =>
|
| + new Future<int>.value(3));
|
| + Future<int> t6 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) {
|
| return new Future<int>.value(3);
|
| });
|
| - Future<int> t7 = /*@promotedType=none*/ f. /*@typeArgs=int*/ then(
|
| - /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async =>
|
| - new Future<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 Future<int>.value(3));
|
| + Future<int> t8 = /*@promotedType=none*/ f
|
| + . /*@typeArgs=int*/ /*@target=MyFuture::then*/ then(
|
| + /*@returnType=Future<int>*/ (/*@type=dynamic*/ _) async {
|
| return new Future<int>.value(3);
|
| });
|
| }
|
|
|