It proves that there are cases where M:N scheduling is the right choice. But it does not prove if it is the right choice for language implementation X (where X

It proves that there are cases where M:N scheduling is the right choice. But it does not prove if it is the right choice for language implementation X (where X in this case is Rust).