localize_terminator_constraint

rustc_borrowck::polonius::typeck_constraints

Function localize_terminator_constraint 

Source 
fn localize_terminator_constraint<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>,
    terminator: &Terminator<'tcx>,
    liveness: &LivenessValues,
    outlives_constraint: &OutlivesConstraint<'tcx>,
    current_point: PointIndex,
    universal_regions: &UniversalRegions<'tcx>,
) -> LocalizedOutlivesConstraint
Expand description

For a given outlives constraint arising from a MIR terminator, localize the constraint with the needed CFG from-to inter-block nodes.