fn gather_explicit_predicates_of(
tcx: TyCtxt<'_>,
def_id: LocalDefId,
) -> GenericPredicates<'_>
Expand description
Returns a list of user-specified type predicates for the definition with ID def_id
.
N.B., this does not include any implied/inferred constraints.