[OutOfHere]

> Rust has never advertised itself as a panacea.

Rust may not, but random Rust programmers rave about it all the time as if it were a panacea.

> expand on what is expressible within the safe subset

I hope that Rust itself keeps going further in this direction. Even with the residual unsafe code, bounds could be implemented to limit the possible damage, and correct it as soon as feasible.