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.