Function tybounds

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