Follow factory redirections when checking case expressions.

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

Index: sdk/lib/_internal/compiler/implementation/warnings.dart
diff --git a/sdk/lib/_internal/compiler/implementation/warnings.dart b/sdk/lib/_internal/compiler/implementation/warnings.dart
index 0b33526621d019b5eb476d8fb2fd61344d3807c3..b1ff8fa360f4feae5e2af3a8aa1a3bac11d26f0a 100644
--- a/sdk/lib/_internal/compiler/implementation/warnings.dart
+++ b/sdk/lib/_internal/compiler/implementation/warnings.dart
@@ -540,6 +540,9 @@ main() => new C<String>();
   static const MessageKind SWITCH_CASE_TYPES_NOT_EQUAL_CASE = const MessageKind(
       "'case' expression of type '#{type}'.");
 
+  static const MessageKind SWITCH_CASE_FORBIDDEN = const MessageKind(
+      "'case' expression may not be of type '#{type}'.");
+
   static const MessageKind SWITCH_CASE_VALUE_OVERRIDES_EQUALS =
       const MessageKind(
           "'case' expression type '#{type}' overrides 'operator =='.");