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

[rikki cattermole]

On 29/05/2022 7:57 PM, Ola Fosheim Grøstad wrote:
> 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).

My goals for this was to be a very cheap set of checks at compile time, 
that can catch most naive wrong life time issues, while being easily 
explained.

I'm not concerned too much about preciseness as long as the false 
positives are low (or at least lower than DIP1000).