Skip to content

InferCtxt::resolve_regions_and_report_errors no longer exists #2572

@ada4a

Description

@ada4a

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    needs-triageThis issue needs triage to classify its nature and status

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions