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

Database: prusti-20260426-174735-3d9ad6e85.db

3 file(s) affected