Function rustc_hir_analysis::collect::predicates_of::explicit_implied_predicates_of

source ยท 
pub(super) fn explicit_implied_predicates_of(
    tcx: TyCtxt<'_>,
    trait_def_id: LocalDefId,
) -> GenericPredicates<'_>