From c833a9b4b4a3dea011155926d3b9d2a26bfd4ae1 Mon Sep 17 00:00:00 2001 From: lcnr Date: Fri, 11 Mar 2022 09:51:42 +0100 Subject: [PATCH] update comment --- compiler/rustc_infer/src/infer/higher_ranked/mod.rs | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) diff --git a/compiler/rustc_infer/src/infer/higher_ranked/mod.rs b/compiler/rustc_infer/src/infer/higher_ranked/mod.rs index 652f5abab15..73cc411e533 100644 --- a/compiler/rustc_infer/src/infer/higher_ranked/mod.rs +++ b/compiler/rustc_infer/src/infer/higher_ranked/mod.rs @@ -58,14 +58,11 @@ pub fn higher_ranked_sub( } impl<'a, 'tcx> InferCtxt<'a, 'tcx> { - /// Replaces all regions (resp. types) bound by `binder` with placeholder - /// regions (resp. types) and return a map indicating which bound-region - /// placeholder region. This is the first step of checking subtyping - /// when higher-ranked things are involved. + /// Replaces all bound variables (lifetimes, types, and constants) bound by + /// `binder` with placeholder variables. /// - /// **Important:** You have to be careful to not leak these placeholders, - /// for more information about how placeholders and HRTBs work, see - /// the [rustc dev guide]. + /// This is the first step of checking subtyping when higher-ranked things are involved. + /// For more details visit the relevant sections of the [rustc dev guide]. /// /// [rustc dev guide]: https://rustc-dev-guide.rust-lang.org/traits/hrtb.html pub fn replace_bound_vars_with_placeholders(&self, binder: ty::Binder<'tcx, T>) -> T -- GitLab