Function rustc_hir_analysis::collect::predicates_of::super_predicates_of

source ยท
pub(super) fn super_predicates_of(
    tcx: TyCtxt<'_>,
    trait_def_id: LocalDefId,
) -> GenericPredicates<'_>
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.