import std.traits : isCallable;

​

bool isStronglyPure(F...)()

if (F.length == 1 && isCallable!F)

{

    import std.traits : ParameterDefaults;

    import std.algorithm : canFind;

    static if (!__traits(getFunctionAttributes, F).canFind("pure"))

        return false;

​

    enum length = ParameterDefaults!F.length;

​

    static foreach (i; 0 .. length)

        if (__traits(getParameterStorageClasses, F, i).canFind("ref", "out"))

            return false;

    return true;

}

​

int f(int x) pure

{

    return x + 1;

}

​

int g(ref int x) pure

{

    return x + 1;

}

​

void h(out int x) pure

{

    x = 0;

}

​

void main()

{

    static assert(isStronglyPure!f);

    static assert(!isStronglyPure!g);

    static assert(!isStronglyPure!h);

}