These are different things. A sufficiently smart compiler is a hypothetical compiler that could theoretically optimize a high level language so that it could be

These are different things. A sufficiently smart compiler is a hypothetical compiler that could theoretically optimize a high level language so that it could be faster than some low level language. This isn't what we're talking about here--we're talking about the concrete ability of the Rust compiler to preclude certain classes of errors.