## resolve

# Function resolve

Source

    pub(crate) fn resolve<'tcx>(
        region_rels: &RegionRelations<'_, 'tcx>,
        var_infos: VarInfos<'tcx>,
        data: RegionConstraintData<'tcx>,
    ) -> (LexicalRegionResolutions<'tcx>, Vec<RegionResolutionError<'tcx>>)

Expand description

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.