Type check constant variable declarations.

pkg/analyzer/lib/src/generated/error.dart

Index: pkg/analyzer/lib/src/generated/error.dart
diff --git a/pkg/analyzer/lib/src/generated/error.dart b/pkg/analyzer/lib/src/generated/error.dart
index a783e7e18e2ccc64feef5a3337cf0fb6ded999ff..aacb26d3c9d6d24433e477236ffd61140dc8eb3b 100644
--- a/pkg/analyzer/lib/src/generated/error.dart
+++ b/pkg/analyzer/lib/src/generated/error.dart
@@ -456,12 +456,23 @@ class CheckedModeCompileTimeErrorCode extends Enum<CheckedModeCompileTimeErrorCo
    */
   static const CheckedModeCompileTimeErrorCode MAP_VALUE_TYPE_NOT_ASSIGNABLE = const CheckedModeCompileTimeErrorCode.con1('MAP_VALUE_TYPE_NOT_ASSIGNABLE', 4, "The element type '{0}' cannot be assigned to the map value type '{1}'");
 
+  /**
+   * 12.11.2 Const: It is a compile-time error if evaluation of a constant object results in an
+   * uncaught exception being thrown.
+   */
+  static const CheckedModeCompileTimeErrorCode VARIABLE_TYPE_MISMATCH =
+      const CheckedModeCompileTimeErrorCode.con1(
+          'VARIABLE_TYPE_MISMATCH',
+          5,
+          "The object type '{0}' cannot be assigned to a variable of type '{1}'");

[Brian Wilkerson, 2014/10/10 21:23:45]

"variable" --> "const variable"?

It might be more obvious to the user what's going on if the message indicates
that this is only an error because the variable is a 'const'. Or possibly
something explicit about the fact that there will be a run-time exception. (My
concern is that users will look at the types in question and be confused because
super types can be assigned to subtypes.

[Paul Berry, 2014/10/10 21:56:38]

Good point.  I've added a TODO comment for now.  I'll loop back and think about
how to wordsmith the messages once I've discovered all the situations where we
need to report errors like this.

+
   static const List<CheckedModeCompileTimeErrorCode> values = const [
       CONST_CONSTRUCTOR_PARAM_TYPE_MISMATCH,
       CONST_FIELD_INITIALIZER_NOT_ASSIGNABLE,
       LIST_ELEMENT_TYPE_NOT_ASSIGNABLE,
       MAP_KEY_TYPE_NOT_ASSIGNABLE,
-      MAP_VALUE_TYPE_NOT_ASSIGNABLE];
+      MAP_VALUE_TYPE_NOT_ASSIGNABLE,
+      VARIABLE_TYPE_MISMATCH];
 
   /**
    * The template used to create the message to be displayed for this error.