Function chalk_solve::clauses::push_auto_trait_impls_coroutine_witness

pub fn push_auto_trait_impls_coroutine_witness<I: Interner>(
    builder: &mut ClauseBuilder<'_, I>,
    auto_trait_id: TraitId<I>,
    coroutine_id: CoroutineId<I>
)