compiler support added for precise GC

[Max Samukha]

On Monday, 16 April 2012 at 20:42:19 UTC, Timon Gehr wrote:

> This could be fixed by introducing a simple language feature 
> that allows a supertype to specify mixin templates that are 
> 'inherited' by all subtypes.
>

Similar proposals have been made in the past 
(http://www.digitalmars.com/d/archives/digitalmars/D/Defining_some_stuff_for_each_class_in_turn_97203.html) 
but failed to get through. BTW, 'alias this' complicates things 
since most features that are valid for subclassing are now 
expected to be valid for 'alias this' subtyping as well.