hax_frontend_exporter

Function required_predicates

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

The predicates that must hold to mention this item.