Yes, currently lifetimes are only used to check the code, they have no influence on the code generated. This is not explicitly guaranteed, but there is interest in keeping it like this to allow e.g. mrustc/rust-gcc to compile Rust code without checking lifetimes and instead just assuming they are correct (which is pretty useful for bootstrapping).
1 Like