On Saturday, 4 November 2017 at 12:20:37 UTC, rikki cattermole
wrote:
Like signatures which I'm working on!
https://github.com/rikkimax/DIPs/blob/master/DIPs/DIP1xxx-RC.md
The first example kind of reminds me of what I was trying to do
with isSubTypeOf [1]. If you know that any function you can call
on T can also be called on U, then it has the same effect. That
being said, I'm not sure I really understand what you mean in the
whole "Why not extend interfaces" part.
[1] https://github.com/dlang/phobos/pull/5700
