Proposal for design of 'scope' (Was: Re: Opportunities for D)

[Timon Gehr via Digitalmars-d]

On 07/10/2014 10:10 PM, "Marc Schütz" <schuetzm at gmx.net>" wrote:
> ...
> Instead of lifetime intersections with `&` (I believe Timon proposed
> that in the original thread)

I didn't. I suggested that _some_ suitable syntax might need to be found. :)

> The root cause of the problem here is the call to `free()`.

(Proving the safety of code containing manual free requires different 
machinery.)