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

Side by Side Diff: pkg/front_end/testcases/inference/future_then_5.dart.strong.expect

Issue 2946273002: Implement override-based type inference for instance methods. (Closed)
Patch Set: Created 3 years, 6 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 unified diff | Download patch
OLDNEW
1 library test; 1 library test;
2 import self as self; 2 import self as self;
3 import "dart:core" as core; 3 import "dart:core" as core;
4 import "dart:async" as asy; 4 import "dart:async" as asy;
5 5
6 class MyFuture<T extends core::Object> extends core::Object implements asy::Futu re<self::MyFuture::T> { 6 class MyFuture<T extends core::Object> extends core::Object implements asy::Futu re<self::MyFuture::T> {
7 constructor •() → void 7 constructor •() → void
8 : super core::Object::•() {} 8 : super core::Object::•() {}
9 constructor value(self::MyFuture::T x) → void 9 constructor value(self::MyFuture::T x) → void
10 : super core::Object::•() {} 10 : super core::Object::•() {}
11 abstract method noSuchMethod(dynamic invocation) → dynamic; 11 abstract method noSuchMethod(core::Invocation invocation) → dynamic;
12 method then<S extends core::Object>((self::MyFuture::T) → asy::FutureOr<self:: MyFuture::then::S> f, {core::Function onError = null}) → self::MyFuture<self::My Future::then::S> 12 method then<S extends core::Object>((self::MyFuture::T) → asy::FutureOr<self:: MyFuture::then::S> f, {core::Function onError = null}) → self::MyFuture<self::My Future::then::S>
13 return null; 13 return null;
14 } 14 }
15 static method test() → void { 15 static method test() → void {
16 asy::Future<dynamic> f; 16 asy::Future<dynamic> f;
17 asy::Future<core::int> t1 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async => await new self::MyFuture::value<core::int>(3)); 17 asy::Future<core::int> t1 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async => await new self::MyFuture::value<core::int>(3));
18 asy::Future<core::int> t2 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async { 18 asy::Future<core::int> t2 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async {
19 return await new self::MyFuture::value<core::int>(3); 19 return await new self::MyFuture::value<core::int>(3);
20 }); 20 });
21 asy::Future<core::int> t3 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async => 3); 21 asy::Future<core::int> t3 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async => 3);
22 asy::Future<core::int> t4 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async { 22 asy::Future<core::int> t4 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async {
23 return 3; 23 return 3;
24 }); 24 });
25 asy::Future<core::int> t5 = f.{asy::Future::then}<core::int>((dynamic _) → sel f::MyFuture<core::int> => new self::MyFuture::value<core::int>(3)); 25 asy::Future<core::int> t5 = f.{asy::Future::then}<core::int>((dynamic _) → sel f::MyFuture<core::int> => new self::MyFuture::value<core::int>(3));
26 asy::Future<core::int> t6 = f.{asy::Future::then}<core::int>((dynamic _) → sel f::MyFuture<core::int> { 26 asy::Future<core::int> t6 = f.{asy::Future::then}<core::int>((dynamic _) → sel f::MyFuture<core::int> {
27 return new self::MyFuture::value<core::int>(3); 27 return new self::MyFuture::value<core::int>(3);
28 }); 28 });
29 asy::Future<core::int> t7 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async => new self::MyFuture::value<core::int>(3)); 29 asy::Future<core::int> t7 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async => new self::MyFuture::value<core::int>(3));
30 asy::Future<core::int> t8 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async { 30 asy::Future<core::int> t8 = f.{asy::Future::then}<core::int>((dynamic _) → asy ::Future<core::int> async {
31 return new self::MyFuture::value<core::int>(3); 31 return new self::MyFuture::value<core::int>(3);
32 }); 32 });
33 } 33 }
34 static method main() → dynamic {} 34 static method main() → dynamic {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698