http://wiki.dlang.org/DIP74 got to reviewable form. Please destroy and discuss.Thanks,Andrei
LGTM, it is great to see something done for deterministic class destruction.
It's unclear to me if an RCO object is a subtype of the corresponding class or the reverse or none.