Fix clippy warnings

[GnomedDev]

I also took the liberty to reduce the size of table_mask to u32 as it's originally u32 anyway.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 91.84%. Comparing base (af40a12) to head (19db541).
Report is 4 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #35      +/-   ##
==========================================
- Coverage   91.90%   91.84%   -0.06%     
==========================================
  Files          23       23              
  Lines        4125     4097      -28     
==========================================
- Hits         3791     3763      -28     
  Misses        334      334              

[GnomedDev]

Huh, looks like the kani run was cancelled?

[tatsuya6502]

Hi. Thank you for creating this pull request.

It looks like Kani's failure is unrelated to the change in this pull request, because the same failure is happening on #34 (DashMap 6). Our Kani job runs only on the frequency_sketch module, and #34 did not change the module.

I see Kani's version has changed from the last successful run. It was v0.54.0, and now it is v0.55.0. So perhaps Kani v0.55.0 has some problems?

• Kani v0.54.0 succeeded on #31: https://github.com/moka-rs/mini-moka/actions/runs/10605775453/job/29395248379
  • Kani Rust Verifier 0.54.0 (cargo plugin)
• Kani v0.54.0 failed on #34: https://github.com/moka-rs/mini-moka/actions/runs/10751252908/job/29835587470
  • Kani Rust Verifier 0.55.0 (cargo plugin)

[GnomedDev]

GitHub seems to be saying "Error: The operation was canceled." in the logs, like it was manually cancelled or something. Anyway, we can ignore that for now.

[tatsuya6502]

Thank you. It looks good to me.