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.