Function bounds

fn bounds<'a, 'tcx>(
    bounds: &'a [GenericBound],
    trait_alias: bool,
    cx: &'a Context<'tcx>,
) -> impl Display + 'a + Captures<'tcx>