Function rustc_trait_selection::traits::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.