Check const map literal keys and switch case exprs using type of constant.

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/task/GenerateDartErrorsTask.java

 /*
  * Copyright (c) 2013, the Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 179 matching lines @@
       ErrorReporter errorReporter = new ErrorReporter(errorListener, source);
       TypeProvider typeProvider = getContext().getTypeProvider();
       //
       // Validate the directives
       //
       validateDirectives(getContext(), source, unit, errorListener);
       //
       // Use the ConstantVerifier to verify the use of constants. This needs to happen before using
       // the ErrorVerifier because some error codes need the computed constant values.
       //
-      ConstantVerifier constantVerifier = new ConstantVerifier(errorReporter, typeProvider);
+      ConstantVerifier constantVerifier = new ConstantVerifier(
+          errorReporter,
+          libraryElement,
+          typeProvider);
       unit.accept(constantVerifier);
       //
       // Use the ErrorVerifier to compute the rest of the errors.
       //
       ErrorVerifier errorVerifier = new ErrorVerifier(
           errorReporter,
           libraryElement,
           typeProvider,
           new InheritanceManager(libraryElement));
       unit.accept(errorVerifier);
       errors = errorListener.getErrorsForSource(source);
     } finally {
       timeCounter.stop();
     }
   }
 }