Function hax_frontend_exporter::traits::utils::predicates_of_or_above

pub fn predicates_of_or_above<'tcx>(
    tcx: TyCtxt<'tcx>,
    did: DefId,
) -> (Vec<PolyTraitPredicate<'tcx>>, Option<PolyTraitPredicate<'tcx>>)

Just like TyCtxt::predicates_of, but in the case of a trait or impl item or closures, also includes the predicates defined on the parents. Also this returns the special Self clause separately.