bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Assert that obligations are empty before deeply normalizing

Browse source
This commit is contained in:
Michael Goulet 2024-11-27 21:27:37 +00:00
parent abfa5c1dca
commit 398fd901d5
12 changed files with 37 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

3
compiler/rustc_hir_analysis/src/check/wfcheck.rs
View file

@ -116,13 +116,12 @@ where
}
f(&mut wfcx)?;
let assumed_wf_types = wfcx.ocx.assumed_wf_types_and_report_errors(param_env, body_def_id)?;
let errors = wfcx.select_all_or_error();
if !errors.is_empty() {
return Err(infcx.err_ctxt().report_fulfillment_errors(errors));
}
let assumed_wf_types = wfcx.ocx.assumed_wf_types_and_report_errors(param_env, body_def_id)?;
debug!(?assumed_wf_types);
let infcx_compat = infcx.fork();