rustc_hir_analysis::collect::predicates_of

Function implied_predicates_with_filter

source
pub(super) fn implied_predicates_with_filter<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: DefId,
    filter: PredicateFilter,
) -> EarlyBinder<'tcx, &'tcx [(Clause<'tcx>, Span)]>
Expand description

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