fn clean_region_outlives_predicate<'tcx>(
    pred: OutlivesPredicate<Region<'tcx>, Region<'tcx>>
) -> Option<WherePredicate>