Function rustc_typeck::middle::traits::predicates_for_genericsUnstable [-] [+] [src]

pub fn predicates_for_generics(tcx: &ctxt<'tcx>, cause: ObligationCause<'tcx>, generic_bounds: &InstantiatedPredicates<'tcx>) -> VecPerParamSpace<Obligation<'tcx, Predicate<'tcx>>>

Creates predicate obligations from the generic bounds.