hax_frontend_exporter::traits::resolution

Function parents_trait_predicates

Source 
fn parents_trait_predicates<'tcx>(
    tcx: TyCtxt<'tcx>,
    pred: PolyTraitPredicate<'tcx>,
    options: BoundsOptions,
) -> Vec<PolyTraitPredicate<'tcx>> ⓘ