Add type inference for switch statements.

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..763ef999ba71cf45bd9ade77b8602b0b01bf590f 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
@@ -205,6 +205,12 @@ class TypeInferenceListener
   void isNotExpressionExit(Not expression, DartType inferredType) =>
       debugExpressionExit("isNotExpression", expression, inferredType);
 
+  void labeledStatementEnter(LabeledStatement statement) =>
+      debugStatementEnter('labeledStatement', statement);
+
+  void labeledStatementExit(LabeledStatement statement) =>
+      debugStatementExit('labeledStatement', statement);
+
   bool listLiteralEnter(ListLiteral expression, DartType typeContext) =>
       debugExpressionEnter("listLiteral", expression, typeContext);
 
@@ -316,6 +322,12 @@ class TypeInferenceListener
   void stringLiteralExit(StringLiteral expression, DartType inferredType) =>
       debugExpressionExit("StringLiteral", expression, inferredType);
 
+  void switchStatementEnter(SwitchStatement statement) =>
+      debugStatementEnter('switchStatement', statement);
+
+  void switchStatementExit(SwitchStatement statement) =>
+      debugStatementExit('switchStatement', statement);
+
   bool throwEnter(Throw expression, DartType typeContext) =>
       debugExpressionEnter('throw', expression, typeContext);