Function rustc_hir_analysis::collect::predicates_of::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.