rustc_trait_selection::traits

Function predicates_for_generics

source 
pub fn predicates_for_generics<'tcx>(
    cause: impl Fn(usize, Span) -> ObligationCause<'tcx>,
    param_env: ParamEnv<'tcx>,
    generic_bounds: InstantiatedPredicates<'tcx>,
) -> impl Iterator<Item = PredicateObligation<'tcx>>
Expand description

Creates predicate obligations from the generic bounds.