bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Document check_region_obligations_and_report_errors, simplify a call to resolve_regions

Browse source
This commit is contained in:
Michael Goulet 2022-07-29 06:17:17 +00:00
parent 1694ea1873
commit 16f49800db
3 changed files with 11 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/rustc_infer/src/infer/mod.rs
View file

@ -1324,6 +1324,10 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
/// result. After this, no more unification operations should be
/// done -- or the compiler will panic -- but it is legal to use
/// `resolve_vars_if_possible` as well as `fully_resolve`.
///
/// Make sure to call [`InferCtxt::process_registered_region_obligations`]
/// first, or preferrably use [`InferCtxt::check_region_obligations_and_report_errors`]
/// to do both of these operations together.
pub fn resolve_regions_and_report_errors(
&self,
generic_param_scope: LocalDefId,