struct attribute(decls...)

    if (decls.length > 0)

{

    import std.meta : allSatisfy, ApplyRight;

    import std.traits : hasUDA;

    static assert (allSatisfy!(ApplyRight!(hasUDA, attribute), decls));

    import std.traits : isCallable, Parameters;

    static foreach (decl; decls)

    {

        static if (isCallable!decl)

            static foreach (overload; __traits(getOverloads, __traits(parent, decl), __traits(identifier, decl)))

            {

                pragma(msg, __traits(identifier, decl), Parameters!overload);

            }

        else

            pragma(msg, __traits(identifier, decl));

    }

}

​

version(fixed)

{

    @attribute!funcImpl

    int funcImpl() { return 1; }

    alias func = funcImpl;

    int func(int x) { return x; }

}

else

{

    @attribute!func

    int func() { return 1; }

    // intentionally no @attribute!func

    int func(int x) { return x; }

}

​

//In a struct:

struct S

{

    @attribute!(x, y, z)

    int x, y, z;

}