Skip to main content

clauses_as_obligations

hir_ty::next_solver::util

Function clauses_as_obligations 

Source 
pub(crate) fn clauses_as_obligations<'db>(
    clauses: impl IntoIterator<Item = Clause<'db>>,
    cause: ObligationCause,
    param_env: ParamEnv<'db>,
) -> impl Iterator<Item = Obligation<'db, Predicate<'db>>>