Skip to main content

explicit_super_clauses_of

rustc_hir_analysis::collect::clauses_of

Function explicit_super_clauses_of 

Source 
pub(super) fn explicit_super_clauses_of<'tcx>(
    tcx: TyCtxt<'tcx>,
    trait_def_id: LocalDefId,
) -> EarlyBinder<'tcx, &'tcx [(Clause<'tcx>, Span)]>
Expand description

Ensures that the super-clauses of the trait with a DefId of trait_def_id are lowered and stored. This also ensures that the transitive super-clauses are lowered.