On Saturday, 29 April 2017 at 07:26:45 UTC, Timon Gehr wrote:
I don't doubt that, but the implicit generalization is "multiple pointer types are necessarily always a royal PITA". Not true. scope has worse usability than a scoped pointer type.
Yes. In this context it is was more about the GC lifetime management which requires:
1. The ability to tell the GC about explicit parent-child relationships so that the GC destruction order becomes deterministic.
2. Precise collection.