Function chalk_solve::wf::impl_wf_environment

source ยท
fn impl_wf_environment<'i, I: Interner>(
    interner: I,
    where_clauses: &'i [QuantifiedWhereClause<I>],
    trait_ref: &'i TraitRef<I>,
) -> impl Iterator<Item = ProgramClause<I>> + 'i
Expand description

Creates the conditions that an impl (and its contents of an impl) can assume to be true when proving that it is well-formed.