called `Result::unwrap()` on an `Err` value: InterpErrorInfo(InterpErrorInfoInner { kind: MachineStop(ConstAccessesMutGlobal), backtrace: InterpErrorBacktrace { backtrace: None } })

Database: prusti-fix-missing-substitution-in-apply-wands-20260515-162448-aaf0046ee.db

4 file(s) affected