Understanding ~Copyable lifetime for scope-based instrumentation (Probes)

[FlorianPircher]

@jamieQ

IIUC this would be a bug, since the purpose of lexical lifetimes is to anchor lifetimes to the corresponding lexical scope. do you have an example that reproduces this behavior?

This is the discussion where I picked up the idea that the lifetime can end before the end of the lexical scope:

@Joe_Groff

@jrose

Is this something that the team plans to discuss? Rust, for example, still destroys the value at the end of the lexical scope (and does emit a flag to do it, IIRC). I don’t know if this is something they regret, though.

The language workgroup discussed this and made the decision to go with shortened lifetimes, yeah.