DIP10005: Dependency-Carrying Declarations is now available for community feedback

[ketmar via Digitalmars-d]

On Wednesday, 14 December 2016 at 17:01:50 UTC, Andrej Mitrovic 
wrote:
> On Tuesday, 13 December 2016 at 22:33:24 UTC, Andrei 
> Alexandrescu wrote:
>> Destroy.
>>
>> https://github.com/dlang/DIPs/pull/51/files
>>
>>
>> Andrei
>
> How about:
>
> bool equal(R1, R2) : std.range
> if (isInputRange!R1 && isInputRange!R2)
> { ... }
>
> It's nice and concise, and you could in theory also allow 
> multiple imports with a comma
>
> bool equal(R1, R2) : std.range, std.traits
> if (isInputRange!R1 && isInputRange!R2 && isArray!R2)
> { ... }

breaks possible selective import. if both modules exports some 
symbol, we will need to selectively import and/or rename it.