InferCtxt::resolve_regions_and_report_errors no longer exists

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

I found rust-lang/rust@a19adef, which says ObligationCtxt is the new home of the method.

Thank you! Opened a PR

also noticed the last link in that section does not go where it is intended to... would you care to fix

There you go: #2577

too quick, thank you 💃

Navigation Menu