Function chalk_solve::clauses::builtin_traits::tuple::add_tuple_program_clauses
source ยท pub fn add_tuple_program_clauses<I: Interner>(
db: &dyn RustIrDatabase<I>,
builder: &mut ClauseBuilder<'_, I>,
self_ty: Ty<I>,
) -> Result<(), Floundered>
Expand description
Add implicit impl for the Tuple
trait for all tuples