From 79899d4556f6a001b962597a3091a8e6cf3419e1 Mon Sep 17 00:00:00 2001 From: Arun Mahapatra Date: Tue, 21 Apr 2026 06:11:47 +0530 Subject: [PATCH] fix: lint error due to unchecked div --- crates/core/src/context.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/crates/core/src/context.rs b/crates/core/src/context.rs index 6ead5d4..65ee38a 100644 --- a/crates/core/src/context.rs +++ b/crates/core/src/context.rs @@ -126,7 +126,9 @@ impl Context { let msg_tokens = if i == last_index { new_tokens.saturating_sub(distributed_tokens) } else { - (new_tokens * msg_chars) / total_unknown_chars + (new_tokens * msg_chars) + .checked_div(total_unknown_chars) + .unwrap() }; messages[*msg_idx].1 = Some(msg_tokens); distributed_tokens += msg_tokens;