fn print_higher_ranked_params_with_space<'a, 'tcx: 'a>(
    params: &'a [GenericParamDef],
    cx: &'a Context<'tcx>
) -> impl Display + 'a + Captures<'tcx>