Function rustc_typeck::collect::associated_item_bounds

fn associated_item_bounds<'tcx>(
    tcx: TyCtxt<'tcx>, 
    def_id: DefId, 
    bounds: &'tcx [GenericBound<'tcx>], 
    projection_ty: Ty<'tcx>, 
    span: Span
) -> Vec<(Predicate<'tcx>, Span)>