rustc_hir_analysis::collect::predicates_of

Function type_param_predicates

source
pub(super) fn type_param_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    (item_def_id, def_id, assoc_name): (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.