On 4/17/2014 5:09 PM, H. S. Teoh via Digitalmars-d wrote: > I thought that whole point of *A*RC is for the compiler to know when ref > count updates can be skipped? Or are you saying this is algorithmically > undecidable in the compiler? I don't think anyone has produced a "sufficiently smart compiler" in that regard.