On Wednesday, 28 August 2024 at 12:55:35 UTC, Mike Shah wrote:
I do like @live, curious others thoughts? Perhaps it doesn't need to be an attribute though and is instead a compiler flag for an analysis pass on any function (kind of reminds me of frameworks like Soot for Java that you control various analysis passes). Perhaps a conversation for another thread 🙂
The fact that @live is incompatible with existing @safe D code makes it dead on arrival.
There are ways to include this kind of analysis without breaking compatibility, but as you say, it has to be a global thing (like DIP 1000), not an attribute that's applied function-by-function.
