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

pkg/analyzer/test/src/task/strong/inferred_type_test.dart

Index: pkg/analyzer/test/src/task/strong/inferred_type_test.dart
diff --git a/pkg/analyzer/test/src/task/strong/inferred_type_test.dart b/pkg/analyzer/test/src/task/strong/inferred_type_test.dart
index 6cb88c14150def797c4573c275233bfc9b9748d8..bdfa015aa58b58f9c37088502beaf0a8d1015ddd 100644
--- a/pkg/analyzer/test/src/task/strong/inferred_type_test.dart
+++ b/pkg/analyzer/test/src/task/strong/inferred_type_test.dart
@@ -828,6 +828,25 @@ void main() {
 ''');
   }
 
+  test_downwardsInference_insideTopLevel() async {
+    await checkFileElement('''
+class A {
+  B<int> b;
+}
+
+class B<T> {
+  B(T x);
+}
+
+var t1 = new A()..b = /*info:INFERRED_TYPE_ALLOCATION*/new B(1);
+var t2 = <B<int>>[/*info:INFERRED_TYPE_ALLOCATION*/new B(2)];
+var t3 = /*info:INFERRED_TYPE_LITERAL*/[
+            /*info:INFERRED_TYPE_ALLOCATION*/new
+            /*error:TOP_LEVEL_TYPE_ARGUMENTS*/B(3)
+         ];
+''');
+  }
+
   test_downwardsInferenceAnnotations() async {
     await checkFileElement('''
 class Foo {