On 3/4/2015 6:27 AM, ponce wrote: > You define a clear owner for everything so that this never happens. > That's what we do in C++ and shared_ptr is can be avoided as much as we like. C++ doesn't have ownership annotations and no checkable notion of a clear owner.