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

[Meta via Digitalmars-d]

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
        {
                ...
        }


T

The fact that declarations like this WILL show up in Phobos or 
elsewhere if this proposal is implemented triggers my gag reflex. 
There's got to be a better way than tacking yet another 
pre-ambulatory clause to the function body.