The non-intrusive ad-hoc borrowing scheme…

[Araq]

On Wednesday, 13 November 2019 at 20:33:31 UTC, Ola Fosheim 
Grøstad wrote:
> On Wednesday, 13 November 2019 at 20:13:47 UTC, IGotD- wrote:
>> [...]
>
> At runtime and possibly an analysis of a log after running, in 
> the general case, as that would cover much more than can be 
> done by static analysis. BUT the syntax should be such that it 
> also could be used as annotations for verification/static 
> analysis.
>
> [...]

I think you are about to re-invented 
https://researcher.watson.ibm.com/researcher/files/us-bacon/Dingle07Ownership.pdf

See https://github.com/nim-lang/RFCs/issues/144 for a discussion.