Print static types of conditional expressions.

pkg/front_end/testcases/micro.dart.strong.expect

Index: pkg/front_end/testcases/micro.dart.strong.expect
diff --git a/pkg/front_end/testcases/micro.dart.strong.expect b/pkg/front_end/testcases/micro.dart.strong.expect
index fabb29d1765328a85be770bda646bf1415b2aff8..fdc6c950508a256540cd5936456d310feccecab5 100644
--- a/pkg/front_end/testcases/micro.dart.strong.expect
+++ b/pkg/front_end/testcases/micro.dart.strong.expect
@@ -11,8 +11,14 @@ class Foo extends core::Object {
   }
 }
 abstract class ExternalValue extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
 }
 abstract class Bar extends core::Object {
+  constructor •() → void
+    : super core::Object::•()
+    ;
   abstract method externalInstanceMethod() → self::ExternalValue;
 }
 class Box extends core::Object {
@@ -47,8 +53,8 @@ class DynamicReceiver2 extends core::Object {
 static method staticMethod() → dynamic {
   return "sdfg";
 }
-external static method externalStatic() → core::bool;
-external static method createBar() → self::Bar;
+external static abstract method externalStatic() → core::bool;
+external static abstract method createBar() → self::Bar;
 static method stringArgument(dynamic x) → dynamic {}
 static method intArgument(dynamic x) → dynamic {}
 static method makeDynamicCall(dynamic receiver) → void {