DIP 84: Static Inheritance

[Atila Neves via Digitalmars-d]

 From the discussion here: 
http://forum.dlang.org/post/tgnxocozkurfvmxqofnn@forum.dlang.org, 
I thought a library solution would do to fix the issue of getting 
decent error messages when a type fails to satisfy a template 
constraint that it was meant to, such as `isInputRange`. So I 
submitted a PR 
(https://github.com/D-Programming-Language/phobos/pull/3677), 
it's been there ever since and doesn't seem like it'll go 
anywhere from the discussion 
(http://forum.dlang.org/post/qvofihzmappftdiwdaue@forum.dlang.org).

So the only other way is a DIP (http://wiki.dlang.org/DIP84) for 
language and compiler support for static inheritance. It's 
backwards-compatible and IMHO worth looking at.

Please let me know what you think.

Atila