Function rustc_trait_selection::traits::predicates_for_generics

pub fn predicates_for_generics<'tcx>(
    cause: ObligationCause<'tcx>, 
    param_env: ParamEnv<'tcx>, 
    generic_bounds: InstantiatedPredicates<'tcx>
) -> impl Iterator<Item = PredicateObligation<'tcx>>

Creates predicate obligations from the generic bounds.