diff options
| author | lcnr <rust@lcnr.de> | 2022-03-25 14:49:14 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2022-05-20 11:49:29 +0200 |
| commit | 4fcf43f67cd5be83bbb72a1cbf76bdfc95d7c83b (patch) | |
| tree | 3ff15e384e60bda24de258ff137f034e25bb1cd2 | |
| parent | 5ac973426eb1f6b3dd9b883daedbfe71f27da704 (diff) | |
| download | rust-4fcf43f67cd5be83bbb72a1cbf76bdfc95d7c83b.tar.gz rust-4fcf43f67cd5be83bbb72a1cbf76bdfc95d7c83b.zip | |
update comments
| -rw-r--r-- | compiler/rustc_infer/src/infer/mod.rs | 2 | ||||
| -rw-r--r-- | compiler/rustc_infer/src/infer/outlives/obligations.rs | 8 |
2 files changed, 2 insertions, 8 deletions
diff --git a/compiler/rustc_infer/src/infer/mod.rs b/compiler/rustc_infer/src/infer/mod.rs index c9121f7d348..4ef6f240c48 100644 --- a/compiler/rustc_infer/src/infer/mod.rs +++ b/compiler/rustc_infer/src/infer/mod.rs @@ -181,7 +181,7 @@ pub struct InferCtxtInner<'tcx> { /// /// Before running `resolve_regions_and_report_errors`, the creator /// 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 /// obligations within. This is expected to be done 'late enough' /// that all type inference variables have been bound and so forth. diff --git a/compiler/rustc_infer/src/infer/outlives/obligations.rs b/compiler/rustc_infer/src/infer/outlives/obligations.rs index 19d03ffa696..2aa535da0e5 100644 --- a/compiler/rustc_infer/src/infer/outlives/obligations.rs +++ b/compiler/rustc_infer/src/infer/outlives/obligations.rs @@ -136,7 +136,7 @@ impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> { /// /// # 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 /// `('a, K)` in this list tells us that the bounds in scope /// 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. /// - `body_id` is the body-id whose region obligations are being /// 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))] pub fn process_registered_region_obligations( &self, |