The non-intrusive ad-hoc borrowing scheme…

Araq rumpf_a at
Wed Nov 13 23:04:38 UTC 2019

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

See for a discussion.

More information about the Digitalmars-d mailing list