Function rustc_infer::traits::util::transitive_bounds
source · pub fn transitive_bounds<'tcx>(
tcx: TyCtxt<'tcx>,
trait_refs: impl Iterator<Item = PolyTraitRef<'tcx>>
) -> impl Iterator<Item = PolyTraitRef<'tcx>>