Fix for switch type inferrence

sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart

Index: sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart
diff --git a/sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart b/sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart
index 12389eef60e7aa2771c0cce057c8d51bd380bdad..747f072c758dc4b111d3fb68ac8f8195e2b3e6a0 100644
--- a/sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart
+++ b/sdk/lib/_internal/compiler/implementation/types/inferrer_visitor.dart
@@ -975,17 +975,9 @@ abstract class InferrerVisitor<T> extends ResolvedVisitor<T> {
       List<LocalsHandler<T>> localsToMerge = <LocalsHandler<T>>[];
 
       for (SwitchCase switchCase in node.cases) {
-        if (switchCase.isDefaultCase) {
-          // If there is a default case, the current values of the local
-          // variable might be overwritten, so we don't need the current
-          // [locals] for the join block.
-          locals = saved;
-          visit(switchCase);
-        } else {
-          locals = new LocalsHandler<T>.from(saved, switchCase);
-          visit(switchCase);
-          localsToMerge.add(locals);
-        }
+        locals = new LocalsHandler<T>.from(saved, switchCase);
+        visit(switchCase);
+        localsToMerge.add(locals);
       }
       saved.mergeAll(localsToMerge);
       locals = saved;