3 ms·
Could you elaborate on or link to a more detailed tradeoff? I want memory safety with as few hazzle as possible and that Rust doesn't understand the safety of
by madez 11y ago
Could you elaborate on or link to a more detailed tradeoff?
I want memory safety with as few hazzle as possible and that Rust doesn't understand the safety of the first example means hazzle. I expect the compiler to try to understand even if it's ’hard’. It doesn't need to understand everything but the mentioned situtation should be doable.
- steveklabnik 11y ago> Could you elaborate on or link to a more detailed tradeoff? I'm not sure what you mean by a 'more detailed tradeoff.' You mean a more complicated example? > I expect the compiler to try to understand even if it's ’hard’. It's not a matter of difficulty, exactly, it's a matter of how easy it is to understand what the compiler is doing. Figuring out non-lexical scopes means that my mental model of what the compiler is doing is more difficult than it is right now, which may or may not be the right tradeoff. I would say that most people want non-lexical lifetimes/SEME regions to be implemented, though.