Skip to content

Comments

Replace unsafe get_unchecked_mut with safe indexing in insert_score_depth and insert_score#169

Merged
chase-manning merged 4 commits intomainfrom
copilot/fix-unsound-pleco-engine-issues
Feb 22, 2026
Merged

Replace unsafe get_unchecked_mut with safe indexing in insert_score_depth and insert_score#169
chase-manning merged 4 commits intomainfrom
copilot/fix-unsound-pleco-engine-issues

Commits

Commits on Feb 22, 2026