Function clean_region_outlives_predicate 

fn clean_region_outlives_predicate<'tcx>(
    pred: RegionOutlivesPredicate<'tcx>,
    tcx: TyCtxt<'tcx>,
) -> WherePredicate