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

Side by Side Diff: pkg/front_end/testcases/inference/future_then_upwards.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 main() → void { 15 static method main() → void {
16 self::MyFuture<core::double> f = self::foo().{self::MyFuture::then}<core::doub le>((dynamic _) → core::double => 2.3); 16 self::MyFuture<core::double> f = self::foo().{self::MyFuture::then}<core::doub le>((dynamic _) → core::double => 2.3);
17 asy::Future<core::int> f2 = f; 17 asy::Future<core::int> f2 = f;
18 asy::Future<core::num> f3 = self::foo().{self::MyFuture::then}<core::double>(( dynamic _) → core::double => 2.3) as asy::Future<core::double>; 18 asy::Future<core::num> f3 = self::foo().{self::MyFuture::then}<core::double>(( dynamic _) → core::double => 2.3) as asy::Future<core::double>;
19 } 19 }
20 static method foo() → self::MyFuture<dynamic> 20 static method foo() → self::MyFuture<dynamic>
21 return new self::MyFuture::value<core::int>(1); 21 return new self::MyFuture::value<core::int>(1);
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698