pub(super) fn type_param_predicates<'tcx>(
tcx: TyCtxt<'tcx>,
(item_def_id, def_id, assoc_ident): (LocalDefId, LocalDefId, Ident),
) -> EarlyBinder<'tcx, &'tcx [(Clause<'tcx>, Span)]>
Expand description
Returns the predicates defined on item_def_id
of the form
X: Foo
where X
is the type parameter def_id
.