Function tybounds

fn tybounds(
    bounds: &[PolyTrait],
    lt: &Option<Lifetime>,
    cx: &Context<'_>,
) -> impl Display