Except Rust-the-language hasn't been proved unsound. Rust's standard library has been found to introduce unsoundness through the incorrect use of `unsafe` block

Except Rust-the-language hasn't been proved unsound. Rust's standard library has been found to introduce unsoundness through the incorrect use of `unsafe` blocks. `thread::scoped`'s interface just has to be tweaked somehow, not removed.