Print static types of conditional expressions.

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

Index: pkg/front_end/testcases/inference/infer_throw.dart.strong.expect
diff --git a/pkg/front_end/testcases/inference/infer_throw.dart.strong.expect b/pkg/front_end/testcases/inference/infer_throw.dart.strong.expect
index 35ee7d79fdf712158eed861604019a17e0c96f72..a5ac554780a205acff8371c9ddfbafb6c8246ba5 100644
--- a/pkg/front_end/testcases/inference/infer_throw.dart.strong.expect
+++ b/pkg/front_end/testcases/inference/infer_throw.dart.strong.expect
@@ -4,7 +4,7 @@ import "dart:core" as core;
 
 static field core::bool t = true;
 static field dynamic a = throw 0;
-static field core::int b = (throw 0) ? 1 : 2;
-static field core::int c = self::t ? throw 1 : 2;
-static field core::int d = self::t ? 1 : throw 2;
+static field core::int b = (throw 0) ?{core::int} 1 : 2;
+static field core::int c = self::t ?{core::int} throw 1 : 2;
+static field core::int d = self::t ?{core::int} 1 : throw 2;
 static method main() → dynamic {}