fn process_edges<'tcx>(
    this: &RegionConstraintData<'tcx>,
    state: &mut WalkState<'tcx>,
    graph: &Graph<(), Constraint<'tcx>>,
    source_vid: RegionVid,
    dir: Direction
)