Function rustc_hir_analysis::collect::predicates_of::implied_predicates_of

source · 
pub(super) fn implied_predicates_of(
    tcx: TyCtxt<'_>,
    trait_def_id: LocalDefId
) -> GenericPredicates<'_>