Just as an aside, Kotaka has a workaround for this. In my second_auto, I mask call_other with a sanity checked version. Among other things, it tests if the current object is destructed, and if so, it throws an error.