I was under a false impression regarding how mutex and interior mutability pattern work in Rust: in fact, it looks like all the structures starting from LoadedFrame will be protected by the lock over the LoadedFrame map, so there's no need for extra mutex.
I was under a false impression regarding how mutex and interior mutability pattern work in Rust: in fact, it looks like all the structures starting from LoadedFrame will be protected by the lock over the LoadedFrame map, so there's no need for extra mutex.