Index: pkg/front_end/testcases/inference/future_then_upwards.dart |
diff --git a/pkg/front_end/testcases/inference/future_then_upwards.dart b/pkg/front_end/testcases/inference/future_then_upwards.dart |
index f88851f67578060764d4a3048d9b389bb4d9f52a..d62ce4ce0f03ed342038f105ad0fd8db63196185 100644 |
--- a/pkg/front_end/testcases/inference/future_then_upwards.dart |
+++ b/pkg/front_end/testcases/inference/future_then_upwards.dart |
@@ -15,14 +15,17 @@ class MyFuture<T> implements Future<T> { |
} |
void main() { |
- var /*@type=MyFuture<double>*/ f = foo(). /*@typeArgs=double*/ then( |
- /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3); |
+ var /*@type=MyFuture<double>*/ f = |
+ foo(). /*@typeArgs=double*/ /*@target=MyFuture::then*/ then( |
+ /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3); |
Future<int> f2 = /*error:INVALID_ASSIGNMENT*/ /*@promotedType=none*/ f; |
// The unnecessary cast is to illustrate that we inferred <double> for |
// the generic type args, even though we had a return type context. |
- Future<num> f3 = /*info:UNNECESSARY_CAST*/ foo(). /*@typeArgs=double*/ then( |
- /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3) as Future<double>; |
+ Future<num> f3 = /*info:UNNECESSARY_CAST*/ foo() |
+ . /*@typeArgs=double*/ /*@target=MyFuture::then*/ then( |
+ /*@returnType=double*/ (/*@type=dynamic*/ _) => 2.3) |
+ as Future<double>; |
} |
MyFuture foo() => new MyFuture<int>.value(1); |