Function chalk_solve::clauses::builtin_traits::pointee::push_clauses

fn push_clauses<I: Interner>(
    db: &dyn RustIrDatabase<I>,
    builder: &mut ClauseBuilder<'_, I>,
    self_ty: Ty<I>,
    metadata: Ty<I>
)