From 1a16755ea02e36828b1a235c3051a8f8341a741d Mon Sep 17 00:00:00 2001
From: Marijn Schouten <mhkbst@gmail.com>
Date: Mon, 29 Sep 2025 15:55:38 +0000
Subject: flatten conditional block

---
 compiler/rustc_hir_analysis/src/constrained_generic_params.rs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'compiler/rustc_hir_analysis/src')

diff --git a/compiler/rustc_hir_analysis/src/constrained_generic_params.rs b/compiler/rustc_hir_analysis/src/constrained_generic_params.rs
index 44d7f3a5e8b..6bcf06399e0 100644
--- a/compiler/rustc_hir_analysis/src/constrained_generic_params.rs
+++ b/compiler/rustc_hir_analysis/src/constrained_generic_params.rs
@@ -209,11 +209,8 @@ pub(crate) fn setup_constraining_predicates<'tcx>(
             //     `<<T as Bar>::Baz as Iterator>::Output = <U as Iterator>::Output`
             // then the projection only applies if `T` is known, but it still
             // does not determine `U`.
+                parameters_for(tcx, projection.projection_term, true).iter().all(|p| input_parameters.contains(p))
             {
-                let inputs = parameters_for(tcx, projection.projection_term, true);
-                let relies_only_on_inputs = inputs.iter().all(|p| input_parameters.contains(p));
-                relies_only_on_inputs
-            } {
                 input_parameters.extend(parameters_for(tcx, projection.term, false));
 
                 predicates.swap(i, j);
-- 
cgit 1.4.1-3-g733a5