Function all_predicates_of 

fn all_predicates_of(
    tcx: TyCtxt<'_>,
    id: DefId,
) -> impl Iterator<Item = &(Clause<'_>, Span)>