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.