Function compute_constraint_direction

Source
fn compute_constraint_direction<'tcx>(
    tcx: TyCtxt<'tcx>,
    outlives_constraint: &OutlivesConstraint<'tcx>,
    value: &impl TypeVisitable<TyCtxt<'tcx>>,
    current_point: PointIndex,
    successor_point: PointIndex,
    universal_regions: &UniversalRegions<'tcx>,
) -> LocalizedOutlivesConstraint
Expand description

For a given outlives constraint and CFG edge, returns the localized constraint with the appropriate from-to direction. This is computed according to whether the constraint flows to or from a free region in the given value, some kind of result for an effectful operation, like the LHS of an assignment.