Function hax_frontend_exporter::traits::resolution::parents_trait_predicates
source ยท fn parents_trait_predicates<'tcx>(
tcx: TyCtxt<'tcx>,
pred: PolyTraitPredicate<'tcx>,
) -> Vec<PolyTraitPredicate<'tcx>>