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