DIP 84: Static Inheritance

[Jacob Carlborg via Digitalmars-d]

On 2015-10-30 15:39, Atila Neves wrote:
>  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.

Technically I don't think the "static" keyword is necessary. If it's a 
template, assume static inheritance.

-- 
/Jacob Carlborg