local_bound_predicates

hax_frontend_exporter::traits::resolution

Function local_bound_predicates 

Source 
fn local_bound_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    options: BoundsOptions,
) -> Vec<PolyTraitPredicate<'tcx>> ⓘ
Expand description

The predicates to use as a starting point for resolving trait references within this item. This includes the required_predicates of this item and all its parents.