Function hax_frontend_exporter::traits::resolution::initial_search_predicates

fn initial_search_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    did: DefId,
) -> Vec<AnnotatedTraitPred<'tcx>>

The predicates to use as a starting point for resolving trait references within this item. This is just like TyCtxt::predicates_of, but in the case of a trait or impl item or closures, also includes the predicates defined on the parents.