Report errors for the new top-level inference rules.

pkg/analyzer/lib/src/task/dart.dart

Index: pkg/analyzer/lib/src/task/dart.dart
diff --git a/pkg/analyzer/lib/src/task/dart.dart b/pkg/analyzer/lib/src/task/dart.dart
index 4635f5542c68f754d0f2618d065837092fcae6f0..140ceb1de12ee26c7b236077905ade0d8d3136df 100644
--- a/pkg/analyzer/lib/src/task/dart.dart
+++ b/pkg/analyzer/lib/src/task/dart.dart
@@ -3755,22 +3755,22 @@ class InferStaticVariableTypeTask extends InferStaticVariableTask {
       //
       RecordingErrorListener errorListener = new RecordingErrorListener();
       Expression initializer = declaration.initializer;
-      ResolutionContext resolutionContext =
-          ResolutionContextBuilder.contextFor(initializer);
-      ResolverVisitor visitor = new ResolverVisitor(
-          variable.library, variable.source, typeProvider, errorListener,
-          nameScope: resolutionContext.scope);
-      if (resolutionContext.enclosingClassDeclaration != null) {
-        visitor.prepareToResolveMembersInClass(
-            resolutionContext.enclosingClassDeclaration);
-      }
-      visitor.initForIncrementalResolution();
-      initializer.accept(visitor);
 
       DartType newType;
       if (!isValidForTypeInference(initializer)) {
         newType = typeProvider.dynamicType;
       } else {
+        ResolutionContext resolutionContext =
+            ResolutionContextBuilder.contextFor(initializer);
+        ResolverVisitor visitor = new ResolverVisitor(
+            variable.library, variable.source, typeProvider, errorListener,
+            nameScope: resolutionContext.scope, isTopLevelInference: true);
+        if (resolutionContext.enclosingClassDeclaration != null) {
+          visitor.prepareToResolveMembersInClass(
+              resolutionContext.enclosingClassDeclaration);
+        }
+        visitor.initForIncrementalResolution();
+        initializer.accept(visitor);
         newType = initializer.staticType;
         if (newType == null || newType.isBottom || newType.isDartCoreNull) {
           newType = typeProvider.dynamicType;