Function chalk_solve::clauses::push_auto_trait_impls_coroutine_witness
source ยท pub fn push_auto_trait_impls_coroutine_witness<I: Interner>(
builder: &mut ClauseBuilder<'_, I>,
auto_trait_id: TraitId<I>,
coroutine_id: CoroutineId<I>,
)