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

[Andrej Mitrovic via Digitalmars-d]

On Wednesday, 14 December 2016 at 17:09:44 UTC, ketmar wrote:
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.

Not necessarily. The first colon is the only special case, 
afterwards you can use all forms of imports:

bool equal(R1, R2) : std.range : isInputRange, Trait = 
std.traits
if (isInputRange!R1 && isInputRange!R2 && Trait.isArray!R2)
{ ... }