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

Unified Diff: pkg/front_end/testcases/inference/future_then.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_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);
});
}
« no previous file with comments | « pkg/front_end/testcases/inference/future_or_subtyping.dart ('k') | pkg/front_end/testcases/inference/future_then_2.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698