Function chalk_solve::clauses::builtin_traits::coroutine::add_coroutine_program_clauses
source · pub fn add_coroutine_program_clauses<I: Interner>(
db: &dyn RustIrDatabase<I>,
builder: &mut ClauseBuilder<'_, I>,
self_ty: Ty<I>
) -> Result<(), Floundered>
Expand description
Add implicit impls of the coroutine trait, i.e., add a clause that all coroutines implement
Coroutine
and clauses for Coroutine
’s associated types.