panicked at bytecode_translator.rs:3266:29

[danilych]

❯ sui-prover --skip-spec-no-abort
🔄 funs_abort_check

thread 'main' (75783374) panicked at crates/move-prover-boogie-backend/src/boogie_backend/bytecode_translator.rs:3266:29:
unexpected operation BorrowLoc in function pending_active_set::active_ids
note: run with RUST_BACKTRACE=1 environment variable to display a backtrace
[1] 95929 abort sui-prover --skip-spec-no-abort