Function suggest_increasing_recursion_limit 

pub(crate) fn suggest_increasing_recursion_limit<'tcx>(
    tcx: TyCtxt<'tcx>,
    err: &mut Diag<'_>,
    overflowing_predicates: &[Predicate<'tcx>],
)