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

[Hatem Oraby via Digitalmars-d]

On Wednesday, 14 December 2016 at 01:39:01 UTC, Andrei 
Alexandrescu wrote:
> On 12/13/16 8:07 PM, Chris M. wrote:
>> [...]
>
> So we have:
>
> // 1
> struct Buffer(R) if ((import std.range).isInputRange!R) { ... }
>
> [...]

What about?:

with(import std.range)
bool equal(R1, R2) if (isInputRange!R1 && isInputRange!R2)
{ ... }