Can the Rust type system prevent deadlocks?
medium.com