Function chalk_solve::clauses::builtin_traits::sized::push_tuple_sized_conditions
source ยท fn push_tuple_sized_conditions<I: Interner>(
db: &dyn RustIrDatabase<I>,
builder: &mut ClauseBuilder<'_, I>,
trait_ref: TraitRef<I>,
arity: usize,
substitution: &Substitution<I>,
)