@Override
 public JetTypeInfo visitWhileExpression(
     JetWhileExpression expression, ExpressionTypingContext context) {
   return controlStructures.visitWhileExpression(expression, context, true);
 }