diff options
| author | Marijn Schouten <mhkbst@gmail.com> | 2025-09-29 15:55:38 +0000 |
|---|---|---|
| committer | Marijn Schouten <mhkbst@gmail.com> | 2025-09-29 15:55:38 +0000 |
| commit | 1a16755ea02e36828b1a235c3051a8f8341a741d (patch) | |
| tree | 084f22e57983bfcec98b980bba77cdd0989937de /compiler | |
| parent | 4acea466e42758468e6cd1de7c6173eabcd5f1b3 (diff) | |
| download | rust-1a16755ea02e36828b1a235c3051a8f8341a741d.tar.gz rust-1a16755ea02e36828b1a235c3051a8f8341a741d.zip | |
flatten conditional block
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/constrained_generic_params.rs | 5 |
1 files changed, 1 insertions, 4 deletions
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); |
