(1) Too much breakage, (2) would disallow a ton of correct code, (3) no reasonable alternative to propose. We'd essentially hang our users out to dry. -- Andrei
I misunderstood your usage of the word "can't". I thought it symbolized a practical/theoretical limitation, not design decision.
So to check if I got this right; class dtors will, with your proposal, only be called by the GC when any of its struct members has dtors, right?
For this to work the compiler will have to do some kind dtor inference of members, members of members etc, right?
