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

pkg/analyzer/lib/src/generated/static_type_analyzer.dart

Index: pkg/analyzer/lib/src/generated/static_type_analyzer.dart
diff --git a/pkg/analyzer/lib/src/generated/static_type_analyzer.dart b/pkg/analyzer/lib/src/generated/static_type_analyzer.dart
index 0c8a6c6d979d8510cab718a3ccf54b766ac63ac4..633385c13f30da53109042fe70b5f8f53300d978 100644
--- a/pkg/analyzer/lib/src/generated/static_type_analyzer.dart
+++ b/pkg/analyzer/lib/src/generated/static_type_analyzer.dart
@@ -1934,11 +1934,7 @@ class StaticTypeAnalyzer extends SimpleAstVisitor<Object> {
         fnType is FunctionType &&
         fnType.typeFormals.isNotEmpty &&
         ts is StrongTypeSystemImpl) {
-      if (_resolver.isTopLevelInference) {
-        if (fnType.typeParameters.isNotEmpty) {
-          return null;
-        }
-      } // Get the parameters that correspond to the uninstantiated generic.
+      // Get the parameters that correspond to the uninstantiated generic.
       List<ParameterElement> rawParameters = ResolverVisitor
           .resolveArgumentsToParameters(argumentList, fnType.parameters, null);