## 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.