Function rustc_typeck::collect::trait_associated_item_predicates

fn trait_associated_item_predicates<'tcx>(
    tcx: TyCtxt<'tcx>, 
    def_id: DefId, 
    self_trait_ref: TraitRef<'tcx>, 
    trait_item_ref: &TraitItemRef
) -> Vec<(Predicate<'tcx>, Span)>