fix miri test

[al8n]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 78.78%. Comparing base (db0d4de) to head (586cb38).

Additional details and impacted files

@@            Coverage Diff             @@
##             main      #25      +/-   ##
==========================================
+ Coverage   78.20%   78.78%   +0.57%     
==========================================
  Files           9        9              
  Lines        2712     2710       -2     
==========================================
+ Hits         2121     2135      +14     
+ Misses        591      575      -16     

Files	Coverage Δ
src/map.rs	67.15% <100.00%> (+1.60%)	⬆️

---

Continue to review full report in Codecov by Sentry.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update db0d4de...586cb38. Read the comment docs.