Module rustc_infer::infer::lexical_region_resolve
source · [−]Expand description
Lexical region resolution.
Structs
Contains the result of lexical region resolution. Offers methods
to lookup up the final value of a region variable.
Enums
Functions
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.