Function chalk_solve::clauses::push_auto_trait_impls_generator_witness [−][src]
pub fn push_auto_trait_impls_generator_witness<I: Interner>(
builder: &mut ClauseBuilder<'_, I>,
auto_trait_id: TraitId<I>,
generator_id: GeneratorId<I>
)