Function create_localized_constraints

pub(crate) fn create_localized_constraints<'tcx>(
    regioncx: &mut RegionInferenceContext<'tcx>,
    body: &Body<'tcx>,
) -> LocalizedOutlivesConstraintSet

Creates a constraint set for -Zpolonius=next by:

• converting NLL typeck constraints to be localized
• encoding liveness constraints