Print static types of conditional expressions.

pkg/front_end/testcases/inference/future_union_async_conditional.dart.strong.expect

 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) → 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 method g1(core::bool x) → asy::Future<core::int> async {
-  return x ? 42 : asy::Future::value<core::int>(42);
+  return x ?{core::Object} 42 : asy::Future::value<core::int>(42);
 }
 static method g2(core::bool x) → asy::Future<core::int> async 
-  return x ? 42 : asy::Future::value<core::int>(42);
+  return x ?{core::Object} 42 : asy::Future::value<core::int>(42);
 static method g3(core::bool x) → asy::Future<core::int> async {
-  core::Object y = x ? 42 : asy::Future::value<core::int>(42);
+  core::Object y = x ?{core::Object} 42 : asy::Future::value<core::int>(42);
   return y;
 }
 static method main() → dynamic {}