Function chalk_solve::clauses::builtin_traits::needs_impl_for_tys

pub fn needs_impl_for_tys<I: Interner>(
    db: &dyn RustIrDatabase<I>,
    builder: &mut ClauseBuilder<'_, I>,
    trait_ref: TraitRef<I>,
    tys: impl Iterator<Item = Ty<I>>
)

Given a trait ref T0: Trait and a list of types U0..Un, pushes a clause of the form Implemented(T0: Trait) :- Implemented(U0: Trait) .. Implemented(Un: Trait)