Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1203)

Unified Diff: pkg/front_end/testcases/inference/future_union_downwards.dart

Issue 2874033003: Set MethodInvocation.interfaceTarget during type inference. (Closed)
Patch Set: Created 3 years, 7 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: pkg/front_end/testcases/inference/future_union_downwards.dart
diff --git a/pkg/front_end/testcases/inference/future_union_downwards.dart b/pkg/front_end/testcases/inference/future_union_downwards.dart
index 5914cef14b283b88f4c9292eaaeef9af549deb45..ecab7e6fb6c22e38d179b1afd0da6b752e46b3b5 100644
--- a/pkg/front_end/testcases/inference/future_union_downwards.dart
+++ b/pkg/front_end/testcases/inference/future_union_downwards.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=Future<int>*/ (/*@type=dynamic*/ _) =>
new /*@typeArgs=int*/ Future.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];
}

Powered by Google App Engine
This is Rietveld 408576698