Don't disable downward inference inside initializers used for top-level inference.

pkg/analyzer/test/src/summary/top_level_inference_test.dart

 // Copyright (c) 2017, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 import 'dart:async';
 
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/src/dart/analysis/driver.dart';
 import 'package:test_reflective_loader/test_reflective_loader.dart';
 
@@ skipping 57 matching lines @@
   }
 
   test_initializer_cascade() async {
     var content = r'''
 var a = 0;
 var t = (/*error:TOP_LEVEL_UNSUPPORTED*/a = 1)..isEven;
 ''';
     await checkFile(content);
   }
 
-  test_initializer_classField_assign() async {
+  test_initializer_classField_instance_instanceCreation() async {
     var content = r'''
-class A {
-  static var a = 1;
-  static var t = /*error:TOP_LEVEL_UNSUPPORTED*/a += 1;
+class A<T> {}
+class B {
+  var t1 = new A<int>();
+  var t2 = /*info:INFERRED_TYPE_ALLOCATION*/new
+           /*error:TOP_LEVEL_TYPE_ARGUMENTS*/A();
 }
 ''';
     await checkFile(content);
+  }
+
+  test_initializer_classField_static_instanceCreation() async {
+    var content = r'''
+class A<T> {}
+class B {
+  static var t1 = 1;
+  static var t2 = /*info:INFERRED_TYPE_ALLOCATION*/new
+                  /*error:TOP_LEVEL_TYPE_ARGUMENTS*/A();
+}
+''';
+    await checkFile(content);
   }
 
   test_initializer_conditional() async {
     var content = r'''
 var a = 1;
 var b = true;
 var t = b ?
           (/*error:TOP_LEVEL_UNSUPPORTED*/a = 1) :
           (/*error:TOP_LEVEL_UNSUPPORTED*/a = 2);
 ''';
@@ skipping 95 matching lines @@
     var content = r'''
 class A {}
 var t = new A();
 ''';
     await checkFile(content);
   }
 
   test_initializer_instanceCreation_withTypeParameters() async {
     var content = r'''
 class A<T> {}
-var t1 = new /*error:TOP_LEVEL_TYPE_ARGUMENTS*/A();
-var t2 = new A<int>();
+var t1 = new A<int>();
+var t2 = /*info:INFERRED_TYPE_ALLOCATION*/new
+         /*error:TOP_LEVEL_TYPE_ARGUMENTS*/A();
 ''';
     await checkFile(content);
   }
 
   test_initializer_instanceGetter() async {
     var content = r'''
 class A {
   int f = 1;
 }
 var a = new A()./*error:TOP_LEVEL_INSTANCE_GETTER*/f;
@@ skipping 2472 matching lines @@
 
   Future<LibraryElement> _encodeDecodeLibrary(String text) async {
     String path = _p('/test.dart');
     provider.newFile(path, text);
     UnitElementResult result = await driver.getUnitElement(path);
     return result.element.library;
   }
 
   String _p(String path) => provider.convertPath(path);
 }