Lifetime tracking

[Stefan Koch via Digitalmars-d]

On Thursday, 2 June 2016 at 23:05:40 UTC, Timon Gehr wrote:
> On 03.06.2016 00:29, Walter Bright wrote:
>> On 6/2/2016 3:10 PM, Marco Leise wrote:
>>> we haven't looked into borrowing/scoped enough
>>
>> That's my fault.
>>
>> As for scoped, the idea is to make scope work analogously to 
>> DIP25's
>> 'return ref'. I don't believe we need borrowing, we've worked 
>> out
>> another solution that will work for ref counting.
>>
>> Please do not reply to this in this thread - start a new one 
>> if you wish
>> to continue with this topic.
>>
>
> I'd like to point out again why that design is inadequate:
>
> Whenever the type checker is using a certain piece of 
> information to check validity of a program, there should be a 
> way to pass that kind of information across function 
> boundaries. Otherwise the type system is not modular. This is a 
> serious defect.

Seconded.