Handle int/double case expression types correctly.

sdk/lib/_internal/compiler/implementation/warnings.dart

 // Copyright (c) 2011, 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.
 
 part of dart2js;
 
 /**
  * The messages in this file should meet the following guide lines:
  *
  * 1. The message should start with exactly one of "Error", "Internal error",
@@ skipping 308 matching lines @@
   static const MessageKind TYPE_VARIABLE_IN_CONSTANT = const MessageKind(
       'Error: Cannot refer to type variable in constant.');
 
   static const MessageKind INVALID_USE_OF_SUPER = const MessageKind(
       'Error: "super" not allowed here.');
 
   static const MessageKind INVALID_CASE_DEFAULT = const MessageKind(
       'Error: "default" only allowed on last case of a switch.');
 
   static const MessageKind SWITCH_CASE_TYPES_NOT_EQUAL = const MessageKind(
-      'Error: "case" expressions do not all have the same type.');
+      'Error: "case" expressions do not all have type "#{type}".');
+
+  static const MessageKind SWITCH_CASE_TYPES_NOT_EQUAL_CASE = const MessageKind(
+      'Info: "case" expression of type "#{type}".');
 
   static const MessageKind SWITCH_CASE_VALUE_OVERRIDES_EQUALS =
       const MessageKind(
           'Error: "case" expression value overrides "operator==".');
 
   static const MessageKind INVALID_ARGUMENT_AFTER_NAMED = const MessageKind(
       'Error: Unnamed argument after named argument.');
 
   static const MessageKind NOT_A_COMPILE_TIME_CONSTANT = const MessageKind(
       'Error: Not a compile-time constant.');
@@ skipping 472 matching lines @@
 
 class CompileTimeConstantError extends Diagnostic {
   CompileTimeConstantError(MessageKind kind, [Map arguments = const {}])
     : super(kind, arguments);
 }
 
 class CompilationError extends Diagnostic {
   CompilationError(MessageKind kind, [Map arguments = const {}])
     : super(kind, arguments);
 }