Idea: Ownership & lifetime escape analysis by variables in reference to

[Ola Fosheim Grøstad]

On Sunday, 29 May 2022 at 07:42:29 UTC, Ola Fosheim Grøstad wrote:
> Maybe look at the basic ideas for static analysis? Then you 
> will know the limitations.

Think of it like this:

If you try to be precise then parts of it has to happen at 
runtime.

If you want to do it at compile time then you have to 
overapproximate (be more pessimistic than the possible runtime 
situations).