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

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

Index: pkg/analyzer/test/src/summary/top_level_inference_test.dart
diff --git a/pkg/analyzer/test/src/summary/top_level_inference_test.dart b/pkg/analyzer/test/src/summary/top_level_inference_test.dart
index 999e1ceb2e3fffc6ce8d9b30fff3d7772f86d5a3..c2017713c4155ddccc495f6e39ada80a9c0355e7 100644
--- a/pkg/analyzer/test/src/summary/top_level_inference_test.dart
+++ b/pkg/analyzer/test/src/summary/top_level_inference_test.dart
@@ -75,11 +75,25 @@ 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);
@@ -198,8 +212,9 @@ var t = new A();
   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);
   }