Function convert_typeck_constraints

fn convert_typeck_constraints<'tcx>(
    body: &Body<'tcx>,
    liveness: &LivenessValues,
    outlives_constraints: impl Iterator<Item = OutlivesConstraint<'tcx>>,
    localized_outlives_constraints: &mut LocalizedOutlivesConstraintSet,
)

Propagate loans throughout the subset graph at a given point (with some subtleties around the location where effects start to be visible).