> We do. All this has been discussed some time ago; see [1].
I would also like to reference a more recent discussion [2].
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.
Cheers,
V.
