Print static types of conditional expressions.

pkg/kernel/lib/text/ast_to_text.dart

 // Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 library kernel.ast_to_text;
 
 import '../ast.dart';
 import '../import_table.dart';
 
 class Namer<T> {
   int index = 0;
@@ skipping 821 matching lines @@
 
   visitLogicalExpression(LogicalExpression node) {
     int precedence = Precedence.binaryPrecedence[node.operator];
     writeExpression(node.left, precedence);
     writeSpaced(node.operator);
     writeExpression(node.right, precedence + 1);
   }
 
   visitConditionalExpression(ConditionalExpression node) {
     writeExpression(node.condition, Precedence.LOGICAL_OR);
-    writeSpaced('?');
+    ensureSpace();
+    write('?');
+    writeStaticType(node.staticType);
+    writeSpace();
     writeExpression(node.then);
     writeSpaced(':');
     writeExpression(node.otherwise);
   }
 
   String getEscapedCharacter(int codeUnit) {
     switch (codeUnit) {
       case 9:
         return r'\t';
       case 10:
@@ skipping 254 matching lines @@
   void writeInterfaceTarget(Name name, Member target) {
     if (target != null) {
       writeSymbol('{');
       writeMemberReference(target);
       writeSymbol('}');
     } else {
       writeName(name);
     }
   }
 
+  void writeStaticType(DartType type) {
+    if (type != null) {
+      writeSymbol('{');
+      writeType(type);
+      writeSymbol('}');
+    }
+  }
+
   visitPropertyGet(PropertyGet node) {
     writeExpression(node.receiver, Precedence.PRIMARY);
     writeSymbol('.');
     writeInterfaceTarget(node.name, node.interfaceTarget);
   }
 
   visitPropertySet(PropertySet node) {
     writeExpression(node.receiver, Precedence.PRIMARY);
     writeSymbol('.');
     writeInterfaceTarget(node.name, node.interfaceTarget);
@@ skipping 528 matching lines @@
   }
   throw 'illegal ProcedureKind: $kind';
 }
 
 class ExpressionPrinter {
   final Printer writeer;
   final int minimumPrecedence;
 
   ExpressionPrinter(this.writeer, this.minimumPrecedence);
 }