[−][src]Module rustc_infer::infer::lexical_region_resolve
Lexical region resolution.
Structs
| LexicalRegionResolutions | Contains the result of lexical region resolution. Offers methods to lookup up the final value of a region variable. |
| LexicalResolver | |
| RegionAndOrigin |
Enums
| RegionResolutionError | |
| VarValue |
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. |
Type Definitions
| RegionGraph |