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 converted and stored. This also ensures that
the transitive super-predicates are converted.