Re: We need a typesystem-sanctioned way to cast qualifiers away

[Andrei Alexandrescu via Digitalmars-d]

On 6/21/15 8:43 PM, Tofu Ninja wrote:
On Monday, 22 June 2015 at 02:54:27 UTC, Andrei Alexandrescu wrote:
All good points. I think we need to accept that immutable objects must
rely on the garbage collector; reference counting them is not accepted
in D's type system. -- Andrei

I am confused, what is wrong with having a mutable ref counted wrapper
type that can carry an immutable payload?

It doesn't compose - e.g. soon as you want to make an immutable list of 
lists it comes unglued. -- Andrei