rustc_hir_analysis::collect::predicates_of

Function explicit_implied_predicates_of

Source 
pub(super) fn explicit_implied_predicates_of<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: LocalDefId,
) -> EarlyBinder<'tcx, &'tcx [(Clause<'tcx>, Span)]>