# Function rustc_hir_analysis::collect::predicates_of::explicit_super_predicates_of

source ·

    pub(super) fn explicit_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.