> . If you don't mind that idea, I'll write something more extensive up and > post it where ever you would like?
I think this has been proposed before and I dislike it because it makes the implementation really hard. Without a nominal type to attach the =destroy etc to, it's way too easy to introduce serious implementation bugs where destructors are not run depending on the phase of the moon. Let's please not do that. :-)
