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

Process registered region obligation in resolve_regions_with_wf_tys

Browse source
This commit is contained in:
Michael Goulet 2022-10-26 16:05:58 +00:00
parent 43dd3d514b
commit db3b01d2bf
3 changed files with 40 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -713,6 +713,10 @@ fn resolve_regions_with_wf_tys<'tcx>(
add_constraints(&infcx, region_bound_pairs);
infcx.process_registered_region_obligations(
outlives_environment.region_bound_pairs(),
param_env,
);
let errors = infcx.resolve_regions(&outlives_environment);
debug!(?errors, "errors");