Multithreading in Rust with MPSC channels

The case against annotations