Make an unreachable case, unreachable

This commit is contained in:
Kerollmops 2025-06-10 16:43:20 +02:00
parent e9d547556d
commit b037e416d3
No known key found for this signature in database
GPG Key ID: F250A4C4E3AE5F5F

View File

@ -232,9 +232,8 @@ pub fn format_documents<'doc>(
for (docid, external_docid) in internal_docids.into_iter().zip(external_ids) {
let document = match DocumentFromDb::new(docid, rtxn, index, &fid_map)? {
Some(doc) => doc,
None => continue,
None => unreachable!("Document with internal ID {docid} not found"),
};
let text = prompt.render_document(&external_docid, document, &gfid_map, doc_alloc).unwrap();
renders.push(text);
}