diff --git a/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs b/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs index de4a382800b2..4a36cab36336 100644 --- a/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs +++ b/compiler/rustc_trait_selection/src/error_reporting/traits/fulfillment_errors.rs @@ -1536,8 +1536,11 @@ pub(super) fn report_projection_error( let unnormalized_term = data.projection_term.to_term(self.tcx); // FIXME(-Znext-solver): For diagnostic purposes, it would be nice // to deeply normalize this type. - let normalized_term = - ocx.normalize(&obligation.cause, obligation.param_env, Unnormalized::new_wip(unnormalized_term)); + let normalized_term = ocx.normalize( + &obligation.cause, + obligation.param_env, + Unnormalized::new_wip(unnormalized_term), + ); // constrain inference variables a bit more to nested obligations from normalize so // we can have more helpful errors.