This method is referred to in https://rustc-dev-guide.rust-lang.org/type-inference.html#solving-region-constraints, but the link is dead. But I'm not sure which method to update this to:
- There is
ObligationCtxt::resolve_regions_and_report_errors, which does have the same name, but its description doesn't seem to match up what the dev-guide says. Plus it's a method on ObligationCtxt, whereas all the other functions in the section come from InferCtxt, or at least rustc_infer.
- And then there is
InferCtxt::resolve_regions_with_normalize, whose documentation does align with the description in the section much more closely, especially the ICE-when-used-more-than-once part. But its previous name was just resolve_regions (changed in this commit).
This method is referred to in https://rustc-dev-guide.rust-lang.org/type-inference.html#solving-region-constraints, but the link is dead. But I'm not sure which method to update this to:
ObligationCtxt::resolve_regions_and_report_errors, which does have the same name, but its description doesn't seem to match up what the dev-guide says. Plus it's a method onObligationCtxt, whereas all the other functions in the section come fromInferCtxt, or at leastrustc_infer.InferCtxt::resolve_regions_with_normalize, whose documentation does align with the description in the section much more closely, especially the ICE-when-used-more-than-once part. But its previous name was justresolve_regions(changed in this commit).