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