Except Rust-the-language hasn't been proved unsound. Rust's standard library has...

		Rusky on April 15, 2015 \| parent \| context \| favorite \| on: Reference cycle bug in Rust's scoped threads 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.