hax_frontend_exporter::traits::utils

Function predicates_defined_on

source
pub fn predicates_defined_on(
    tcx: TyCtxt<'_>,
    def_id: DefId,
) -> GenericPredicates<'_>
Expand description

Returns a list of type predicates for the definition with ID def_id, including inferred lifetime constraints. This is the basic list of predicates we use for essentially all items.