Yeah, the remarkable thing about this (for me) is that this particular case isn't actually a language soundness flaw, demonstrating that the general approach Rust takes is a useful one. The author puts it nicely on the /r/rust thread [1].

[1]: https://www.reddit.com/r/rust/comments/6gavfe/how_mutexguard...