Print static types of conditional expressions.

pkg/front_end/testcases/null_aware.dart.direct.expect

Index: pkg/front_end/testcases/null_aware.dart.direct.expect
diff --git a/pkg/front_end/testcases/null_aware.dart.direct.expect b/pkg/front_end/testcases/null_aware.dart.direct.expect
index 9a60a6263ef7d525e8e2683185e96815c77a0250..61af092c41c18f2e70b30057671cda58ec7e8aa8 100644
--- a/pkg/front_end/testcases/null_aware.dart.direct.expect
+++ b/pkg/front_end/testcases/null_aware.dart.direct.expect
@@ -11,12 +11,12 @@ class Foo extends core::Object {
 }
 static method main() → dynamic {
   self::Foo foo = new self::Foo::•();
-  let final dynamic #t1 = foo in #t1.==(null) ? null : #t1.field = 5;
+  let final dynamic #t1 = foo in #t1.==(null) ?{dynamic} null : #t1.field = 5;
   self::Foo::staticField = 5;
-  let final dynamic #t2 = foo in #t2.field.==(null) ? #t2.field = 5 : null;
-  self::Foo::staticField.==(null) ? self::Foo::staticField = 5 : null;
-  let final dynamic #t3 = foo in #t3.==(null) ? null : #t3.field.==(null) ? #t3.field = 5 : null;
-  self::Foo::staticField.==(null) ? self::Foo::staticField = 5 : null;
-  core::int intValue = let final dynamic #t4 = foo.field in #t4.==(null) ? 6 : #t4;
-  core::num numValue = let final dynamic #t5 = foo.field in #t5.==(null) ? 4.5 : #t5;
+  let final dynamic #t2 = foo in #t2.field.==(null) ?{dynamic} #t2.field = 5 : null;
+  self::Foo::staticField.==(null) ?{dynamic} self::Foo::staticField = 5 : null;
+  let final dynamic #t3 = foo in #t3.==(null) ?{dynamic} null : #t3.field.==(null) ?{dynamic} #t3.field = 5 : null;
+  self::Foo::staticField.==(null) ?{dynamic} self::Foo::staticField = 5 : null;
+  core::int intValue = let final dynamic #t4 = foo.field in #t4.==(null) ?{core::int} 6 : #t4;
+  core::num numValue = let final dynamic #t5 = foo.field in #t5.==(null) ?{core::num} 4.5 : #t5;
 }