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.