More radical ideas about gc and reference counting

[Timon Gehr via Digitalmars-d]

On 05/01/2014 12:48 AM, deadalnix wrote:
> On Wednesday, 30 April 2014 at 22:24:29 UTC, Timon Gehr wrote:
>> However, then, whether to do const(S!T) => S!(const(T)) or const(S!T)
>> => S!(TailConst!T) should maybe be specified on a per-parameter basis,
>> because this is in general not easy to figure out for the compiler.
>
> That is the whole problem :D

Well, actually, just check whether there is a field that would need to 
change type, of the exact type of some parameter. If so, try to do the 
second thing for that parameter, otherwise try to do the first.