Index: pkg/front_end/testcases/inference/future_union_downwards.dart.direct.expect |
diff --git a/pkg/front_end/testcases/inference/future_union_downwards.dart.direct.expect b/pkg/front_end/testcases/inference/future_union_downwards.dart.direct.expect |
new file mode 100644 |
index 0000000000000000000000000000000000000000..23bf82d903c73792173ec372dab76c4e1f1677b5 |
--- /dev/null |
+++ b/pkg/front_end/testcases/inference/future_union_downwards.dart.direct.expect |
@@ -0,0 +1,24 @@ |
+library test; |
+import self as self; |
+import "dart:core" as core; |
+import "dart:async" as asy; |
+ |
+class MyFuture<T extends core::Object> extends core::Object implements asy::Future<self::MyFuture::T> { |
+ constructor •() → void |
+ : super core::Object::•() {} |
+ constructor value([dynamic x = null]) → void |
+ : super core::Object::•() {} |
+ abstract method noSuchMethod(dynamic invocation) → dynamic; |
+ method then<S extends core::Object>((self::MyFuture::T) → asy::FutureOr<self::MyFuture::then::S> f, {core::Function onError = null}) → self::MyFuture<self::MyFuture::then::S> |
+ return null; |
+} |
+static field self::MyFuture<dynamic> f; |
+static field asy::Future<core::int> t1 = self::f.then((dynamic _) → dynamic => asy::Future::value<dynamic>("hi")); |
+static field asy::Future<core::List<core::int>> t2 = self::f.then((dynamic _) → dynamic => <dynamic>[3]); |
+static method g2() → asy::Future<core::List<core::int>> async { |
+ return <dynamic>[3]; |
+} |
+static method g3() → asy::Future<core::List<core::int>> async { |
+ return asy::Future::value<dynamic>(<dynamic>[3]); |
+} |
+static method main() → dynamic {} |