> We do. All this has been discussed some time ago; see .
I would also like to reference a more recent discussion .
A point that may insufficiently have been stressed there is that deterministic cleanup is a desirable property even for non-locally scoped objects.
Especially keeping the status quo for "global by default" (as in a recent discussion), it is hard to avoid this conclusion.