I have no idea what caused this change, I don't think other commits
changed anything near these lines?..
This commit is contained in:
Waffle Lapkin
2026-04-21 12:33:11 +02:00
parent 54abf6d683
commit be8bfb2d69
@@ -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.