fn parents_trait_predicates<'tcx>(
tcx: TyCtxt<'tcx>,
pred: PolyTraitPredicate<'tcx>,
) -> Vec<PolyTraitPredicate<'tcx>>
fn parents_trait_predicates<'tcx>(
tcx: TyCtxt<'tcx>,
pred: PolyTraitPredicate<'tcx>,
) -> Vec<PolyTraitPredicate<'tcx>>