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

[ArturG via Digitalmars-d]

On Wednesday, 14 December 2016 at 19:39:55 UTC, Andrei 
Alexandrescu wrote:
On 12/14/2016 02:04 PM, Meta wrote:
On Wednesday, 14 December 2016 at 17:32:10 UTC, H. S. Teoh 
wrote:
What about:
    /* Showing full declaration just for context */
    bool myFunc(R1, R2)(R1 r1, R2 r2)
    import {
        std.range : isInputRange,
        std.traits : isNum = isNumeric
    }
    if (isInputRange!R1 && isInputRange!R2 &&
        isNum!(ElementType!R1))
    in { assert(someCondition!R1); }
    out(result) { assert(result == expectedResult(...)); }
    body
    {
        ...
    }


as ketmar said, would the import block have any restrictions what 
code could be used inside, would this work?

T1 fun(T1, T2)(T1 t1, T2 t2)
import
{
    version(A) { someMod: T1, T2; }
    else { someOtherMod: T1, T2; }

    // static if or any other code?
}
{
    T1 ret = t1 + t2;
    return ret;
}