Skip to content

Commit 1a16755

Browse files
committed
flatten conditional block
1 parent 4acea46 commit 1a16755

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

compiler/rustc_hir_analysis/src/constrained_generic_params.rs

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -209,11 +209,8 @@ pub(crate) fn setup_constraining_predicates<'tcx>(
209209
// `<<T as Bar>::Baz as Iterator>::Output = <U as Iterator>::Output`
210210
// then the projection only applies if `T` is known, but it still
211211
// does not determine `U`.
212+
parameters_for(tcx, projection.projection_term, true).iter().all(|p| input_parameters.contains(p))
212213
{
213-
let inputs = parameters_for(tcx, projection.projection_term, true);
214-
let relies_only_on_inputs = inputs.iter().all(|p| input_parameters.contains(p));
215-
relies_only_on_inputs
216-
} {
217214
input_parameters.extend(parameters_for(tcx, projection.term, false));
218215

219216
predicates.swap(i, j);

0 commit comments

Comments
 (0)