Function chalk_solve::clauses::builtin_traits::unsize::add_unsize_program_clauses
source ยท pub fn add_unsize_program_clauses<I: Interner>(
db: &dyn RustIrDatabase<I>,
builder: &mut ClauseBuilder<'_, I>,
trait_ref: TraitRef<I>,
_ty: TyKind<I>,
)