More radical ideas about gc and reference counting

[Andrei Alexandrescu via Digitalmars-d]

On 5/1/14, 3:06 AM, monarch_dodra wrote:
>
> "A class is allowed to have a destructor" <=> "A class can have members
> with destructors".

No equivalence, but implication. If a class has at least one member with 
a destructor, the compiler might need to generate a destructor for the 
class. -- Andrei