[lvh]

What feature adds that? The borrow checker, lifetimes and ownership are all compile time concepts in Rust.

[c3833174]

Compile time doesn't mean the compiler won't add more instructions where you might not expect them.

[steveklabnik]

That's true of any compiler of any language.

[lvh]

Are you suggesting the borrow checker adds instructions? I feel the meaning of my comment was pretty clear to mean “strictly compile time”.