Function chalk_solve::clauses::builtin_traits::needs_impl_for_tys
source ยท 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>>,
)
Expand description
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)