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).