Comment by kimi

Or we realize that it is not possible, and Rust accepts to be "just" a definitely safer C.