Function rustc_hir_analysis::collect::predicates_of::implied_predicates_with_filter

pub(super) fn implied_predicates_with_filter(
    tcx: TyCtxt<'_>,
    trait_def_id: DefId,
    filter: PredicateFilter
) -> GenericPredicates<'_>

Ensures that the super-predicates of the trait with a DefId of trait_def_id are converted and stored. This also ensures that the transitive super-predicates are converted.