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