Module rustc_infer::infer::lexical_region_resolve

source ·
Expand description

Lexical region resolution.




  • resolve 🔒
    This function performs lexical region resolution given a complete set of constraints and variable origins. It performs a fixed-point iteration to find region values which satisfy all constraints, assuming such values can be found. It returns the final values of all the variables as well as a set of errors that must be reported.

Type Aliases§