Jesse Phillips Jesse.K.Phillips+D at gmail.com
Thu Oct 17 03:32:43 UTC 2019

On Thursday, 17 October 2019 at 00:46:12 UTC, rikki cattermole 
> I.e.
> signature InputRange(@named ElementType = 
> ElementTypeCompat!(typeof(this)) { ... }
> Not to mention it forces what amounts to idiomatic D into a 
> second class position in many use cases. Not preferable IMO.

auto foo(R, E = ElementType!R)() if(implements!(InputRange!E, R))

That seems pretty idiomatic D.

Now as you said, it doesn't improve the error message. But what 
if the language changed so it could?

More information about the Digitalmars-d mailing list