| 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 {}
 | 
| 
 |