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

update comments

Browse source
This commit is contained in:
lcnr 2022-03-25 14:49:14 +01:00
parent 5ac973426e
commit 4fcf43f67c
2 changed files with 2 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -181,7 +181,7 @@ pub struct InferCtxtInner<'tcx> {
/// ///
/// Before running `resolve_regions_and_report_errors`, the creator /// Before running `resolve_regions_and_report_errors`, the creator
/// of the inference context is expected to invoke /// of the inference context is expected to invoke
/// `process_region_obligations` (defined in `self::region_obligations`) /// [`InferCtxt::process_registered_region_obligations`]
/// for each body-id in this map, which will process the /// for each body-id in this map, which will process the
/// obligations within. This is expected to be done 'late enough' /// obligations within. This is expected to be done 'late enough'
/// that all type inference variables have been bound and so forth. /// that all type inference variables have been bound and so forth.

8
compiler/rustc_infer/src/infer/outlives/obligations.rs
View file

@ -136,7 +136,7 @@ impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> {
/// ///
/// # Parameters /// # Parameters
/// ///
/// - `region_bound_pairs`: the set of region bounds implied by /// - `region_bound_pairs_map`: the set of region bounds implied by
/// the parameters and where-clauses. In particular, each pair /// the parameters and where-clauses. In particular, each pair
/// `('a, K)` in this list tells us that the bounds in scope /// `('a, K)` in this list tells us that the bounds in scope
/// indicate that `K: 'a`, where `K` is either a generic /// indicate that `K: 'a`, where `K` is either a generic
@ -147,12 +147,6 @@ impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> {
/// - `param_env` is the parameter environment for the enclosing function. /// - `param_env` is the parameter environment for the enclosing function.
/// - `body_id` is the body-id whose region obligations are being /// - `body_id` is the body-id whose region obligations are being
/// processed. /// processed.
///
/// # Returns
///
/// This function may have to perform normalizations, and hence it
/// returns an `InferOk` with subobligations that must be
/// processed.
#[instrument(level = "debug", skip(self, region_bound_pairs_map))] #[instrument(level = "debug", skip(self, region_bound_pairs_map))]
pub fn process_registered_region_obligations( pub fn process_registered_region_obligations(
&self, &self,