Merge remote-tracking branch 'milli/main' into bring-v1-changes

2025-10-11 22:26:25 +00:00 · 2023-02-06 16:48:10 +01:00
parent a377a49218 758b4acea7
commit fbec48f56e
15 changed files with 171 additions and 88 deletions
--- a/milli/src/update/delete_documents.rs
+++ b/milli/src/update/delete_documents.rs
@@ -575,8 +575,8 @@ fn remove_from_word_docids(
 }

 fn remove_docids_from_field_id_docid_facet_value(
-    index: &'_ Index,
-    wtxn: &'_ mut heed::RwTxn,
+    index: &Index,
+    wtxn: &mut heed::RwTxn,
    facet_type: FacetType,
    field_id: FieldId,
    to_remove: &RoaringBitmap,