[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”.