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?