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

Unified Diff: pkg/front_end/testcases/inference/future_union_downwards_2.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_2.dart
diff --git a/pkg/front_end/testcases/inference/future_union_downwards_2.dart b/pkg/front_end/testcases/inference/future_union_downwards_2.dart
index c7e8003d4e451999c06e60a73a8e8cd617f22715..30e4e3cb4ca0c5f7a1fba9a5cbe8a23b8bca391a 100644
--- a/pkg/front_end/testcases/inference/future_union_downwards_2.dart
+++ b/pkg/front_end/testcases/inference/future_union_downwards_2.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=MyFuture<int>*/ (/*@type=dynamic*/ _) =>
new /*@typeArgs=int*/ MyFuture.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