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.
