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

Side by Side Diff: pkg/front_end/testcases/inference/future_union_downwards.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([dynamic x = null]) → void 9 constructor value([dynamic x = null]) → 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 field self::MyFuture<dynamic> f; 15 static field self::MyFuture<dynamic> f;
16 static field asy::Future<core::int> t1 = self::f.{self::MyFuture::then}<core::in t>((dynamic _) → asy::Future<core::int> => asy::Future::value<core::int>("hi")); 16 static field asy::Future<core::int> t1 = self::f.{self::MyFuture::then}<core::in t>((dynamic _) → asy::Future<core::int> => asy::Future::value<core::int>("hi"));
17 static field asy::Future<core::List<core::int>> t2 = self::f.{self::MyFuture::th en}<core::List<core::int>>((dynamic _) → core::List<core::int> => <core::int>[3] ); 17 static field asy::Future<core::List<core::int>> t2 = self::f.{self::MyFuture::th en}<core::List<core::int>>((dynamic _) → core::List<core::int> => <core::int>[3] );
18 static method g2() → asy::Future<core::List<core::int>> async { 18 static method g2() → asy::Future<core::List<core::int>> async {
19 return <core::int>[3]; 19 return <core::int>[3];
20 } 20 }
21 static method g3() → asy::Future<core::List<core::int>> async { 21 static method g3() → asy::Future<core::List<core::int>> async {
22 return asy::Future::value<core::List<core::int>>(<core::int>[3]); 22 return asy::Future::value<core::List<core::int>>(<core::int>[3]);
23 } 23 }
24 static method main() → dynamic {} 24 static method main() → dynamic {}
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698