explicit_super_predicates_of in rustc_hir_analysis::collect::predicates_of - Rust
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.

Skip to main content

## explicit_super_predicates_of

# Function explicit_super_predicates_of

Source

    pub(super) fn explicit_super_predicates_of<'tcx>(
        tcx: TyCtxt<'tcx>,
        trait_def_id: LocalDefId,
    ) -> 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.