Add type inference for while and do loops.

pkg/front_end/lib/src/fasta/type_inference/type_inference_listener.dart

Index: pkg/front_end/lib/src/fasta/type_inference/type_inference_listener.dart
diff --git a/pkg/front_end/lib/src/fasta/type_inference/type_inference_listener.dart b/pkg/front_end/lib/src/fasta/type_inference/type_inference_listener.dart
index ac29a1e1235bc98bc1efecf2c4773b10d0320b63..424c3465d9fba24a836e9e9dfec36233163121d8 100644
--- a/pkg/front_end/lib/src/fasta/type_inference/type_inference_listener.dart
+++ b/pkg/front_end/lib/src/fasta/type_inference/type_inference_listener.dart
@@ -125,6 +125,12 @@ class TypeInferenceListener
           InvocationExpression expression, DartType inferredType) =>
       debugExpressionExit("constructorInvocation", expression, inferredType);
 
+  void doStatementEnter(DoStatement statement) =>
+      debugStatementEnter("doStatement", statement);
+
+  void doStatementExit(DoStatement statement) =>
+      debugStatementExit("doStatement", statement);
+
   bool doubleLiteralEnter(DoubleLiteral expression, DartType typeContext) =>
       debugExpressionEnter("doubleLiteral", expression, typeContext);
 
@@ -346,6 +352,12 @@ class TypeInferenceListener
   void variableSetExit(VariableSet expression, DartType inferredType) =>
       debugExpressionExit("variableSet", expression, inferredType);
 
+  void whileStatementEnter(WhileStatement statement) =>
+      debugStatementEnter("whileStatement", statement);
+
+  void whileStatementExit(WhileStatement statement) =>
+      debugStatementExit("whileStatement", statement);
+
   void yieldStatementEnter(YieldStatement statement) =>
       debugStatementEnter('yieldStatement', statement);