localize_statement_constraint

rustc_borrowck::polonius::typeck_constraints

Function localize_statement_constraint 

Source 
fn localize_statement_constraint<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'tcx>,
    stmt: &Statement<'tcx>,
    outlives_constraint: &OutlivesConstraint<'tcx>,
    current_point: PointIndex,
    universal_regions: &UniversalRegions<'tcx>,
) -> LocalizedOutlivesConstraint
Expand description

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