We need a typesystem-sanctioned way to cast qualifiers away

[Tofu Ninja via Digitalmars-d]

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?