In case anyone else is wondering, the referenced chapter is https://doc.rust-lang.org/book/dining-philosophers.html

I don't have enough Rust experience to see the issue. I searched the bug tracker to try to find the mentioned bug but couldn't.