DIP 84: Static Inheritance

[Walter Bright via Digitalmars-d]

On 10/31/2015 2:21 AM, Atila Neves wrote:
> Interesting. Like this perhaps?
>
> struct Struct : isInputRange ->
>
> static assert(__traits(compilesNoSupress, isInputRange!Struct));
> struct Struct
> //...

Yes. And I think it would have much wider applicability than just struct 
inheritance.