Function chalk_solve::clauses::builtin_traits::pointee::push_for_last_field

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