SERVER-108086 Enable featureFlagImprovedDepsAnalysis (#54321)

GitOrigin-RevId: 414a594b44c75571a691b96338fa0ec5e670b16b

jstests/aggregation/optimization/match_swapping_complex_renames.js

@@ -4,7 +4,10 @@
  * @tags: [
  *   do_not_wrap_aggregations_in_facets,
  *   requires_pipeline_optimization,
- *   featureFlagImprovedDepsAnalysis,
+ *   # Tests a rewrite that was added in v9.0.
+ *   requires_fcv_90,
+ *   # Pushdown over complex renames needs PathArrayness from indexes to prove paths are non-array.
+ *   featureFlagPathArrayness,
  *   # The test asserts on explain output.
  *   assumes_unsharded_collection,
  * ]

jstests/core/query/complex_rename_match_swapping_arrayness_pbt.js

@@ -1,14 +1,14 @@
 /**
- * A property-based test that enables "featureFlagImprovedDepsAnalysis" and asserts correctness
- * of pushing down $match on a complex rename when there is multikeyness metadata that proves
- * there are no arrays on the renamed path. Correctness is asserted by running the generated query
- * with and without optimizations.
+ * A property-based test that asserts correctness of pushing down $match on a complex rename when
+ * there is multikeyness metadata that proves there are no arrays on the renamed path. Correctness
+ * is asserted by running the generated query with and without optimizations.
  *
  * @tags: [
  * query_intensive_pbt,
  * # Runs queries that may return many results, requiring getmores
  * requires_getmore,
- * featureFlagImprovedDepsAnalysis,
+ * # Tests a rewrite that was added in v9.0.
+ * requires_fcv_90,
  * featureFlagPathArrayness,
  * # Time series collections do not support indexing array values in measurement fields.
  * exclude_from_timeseries_crud_passthrough,

jstests/core/query/computation_hoisting_match_pushdown_pbt.js

@@ -8,7 +8,8 @@
  * @tags: [
  *   query_intensive_pbt,
  *   requires_getmore,
- *   featureFlagImprovedDepsAnalysis,
+ *   # Tests a rewrite that was added in v9.0.
+ *   requires_fcv_90,
  *   # Uses a knob (internalQueryTransformHoistPolicy) that does not exist on older binaries.
  *   multiversion_incompatible,
  *   assumes_unsharded_collection,

src/mongo/db/ifr_flag_registry.yml

@@ -35,4 +35,5 @@ rollout:
   featureFlagMultiPlanLimiter: {}
   featureFlagUnifiedWriteExecutor: {}
 
-released: {}
+released:
+  featureFlagImprovedDepsAnalysis: {}

src/mongo/db/query/query_feature_flags.idl

@@ -450,8 +450,8 @@ feature_flags:
         description: "Feature flag to enable pipeline rewrites that require a dependency graph"
         cpp_varname: gFeatureFlagImprovedDepsAnalysis
         fcv_gated: false
-        default: false
-        incremental_rollout_phase: in_development
+        default: true
+        incremental_rollout_phase: released
 
     featureFlagSbeTransformStages:
         description: "Feature flag to enable transform stages in SBE, including $addFields, $replaceRoot, $replaceWith, $project."