Yeah just the mutex style (the mutex being a container) even without borrow checker is already progress because it shows the dependency between the lock and the

Yeah just the mutex style (the mutex being a container) even without borrow checker is already progress because it shows the dependency between the lock and the data in the code. The main missing piece in rust locks is inter-lock dependencies when they are not nested.