Function required_predicates

pub fn required_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> impl Iterator<Item = Clause<'tcx>> + DoubleEndedIterator

The predicates that must hold to mention this item.