Type check constant variable declarations.

pkg/analyzer/test/generated/resolver_test.dart

Index: pkg/analyzer/test/generated/resolver_test.dart
diff --git a/pkg/analyzer/test/generated/resolver_test.dart b/pkg/analyzer/test/generated/resolver_test.dart
index f46e48b3e722d3a9391b1fa9f2ab08bcec6c1957..618c33aa405fb9766e1b9e58aa3b1adbf8ea1136 100644
--- a/pkg/analyzer/test/generated/resolver_test.dart
+++ b/pkg/analyzer/test/generated/resolver_test.dart
@@ -810,6 +810,24 @@ class CheckedModeCompileTimeErrorCodeTest extends ResolverTestCase {
         StaticWarningCode.ARGUMENT_TYPE_NOT_ASSIGNABLE]);
     verify([source]);
   }
+
+  void test_topLevelVarAssignable_null() {
+    Source source = addSource(EngineTestCase.createSource([
+        "const int x = null;"]));
+    resolve(source);
+    assertNoErrors(source);
+    verify([source]);
+  }
+
+  void test_topLevelVarNotAssignable() {
+    Source source = addSource(EngineTestCase.createSource([
+        "const int x = 'foo';"]));
+    resolve(source);
+    assertErrors(source, [
+        CheckedModeCompileTimeErrorCode.VARIABLE_TYPE_MISMATCH,
+        StaticTypeWarningCode.INVALID_ASSIGNMENT]);
+    verify([source]);
+  }
 }
 
 class CompileTimeErrorCodeTest extends ResolverTestCase {