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.