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