Result: done Files: crates/nikaia-std/src/tools/check_program.nika crates/nikaia-std/src/tools/lowered/check_program.rs crates/nikaia-std/src/tools/fold_bound.nika crates/nikaia-std/src/tools/lowered/fold_bound.rs crates/nikaia-std/src/tools/throws.nika crates/nikaia-std/src/tools/lowered/throws.rs Commit: check_program, fold_bound, throws: contains_key-then-insert sites with the key given away use BTreeMap::entry Part: #950 Model: Opus 5.5 Changelog: none (no version change) Pushed: ca687c19a68ae919739bec95f1f93b7561cc71f3
