Function clean_region_outlives_clause 

fn clean_region_outlives_clause<'tcx>(
    clause: RegionOutlivesClause<'tcx>,
    tcx: TyCtxt<'tcx>,
) -> WherePredicate