hax_frontend_exporter::traits::resolution

Function initial_search_predicates

source 
fn initial_search_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
) -> Vec<AnnotatedTraitPred<'tcx>>
Expand description

The predicates to use as a starting point for resolving trait references within this item. This includes the “self” predicate if applicable and the required_predicates of this item and all its parents, numbered starting from the parents.