Function chalk_solve::clauses::push_auto_trait_impls_generator_witness

pub fn push_auto_trait_impls_generator_witness<I: Interner>(
    builder: &mut ClauseBuilder<'_, I>, 
    auto_trait_id: TraitId<I>, 
    generator_id: GeneratorId<I>
)