Function rustc_typeck::collect::super_predicates_that_define_assoc_type[][src]

fn super_predicates_that_define_assoc_type(
    tcx: TyCtxt<'_>,
    (trait_def_id, assoc_name): (DefId, Option<Ident>)
) -> 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.