import std;

​

struct Throws(T : Exception)

{

    alias ThrowT = T;

}

​

struct ThrowsInclude(alias Func_)

{

    alias Func = Func_;

}

​

class MyExcept : Exception

{

    mixin basicExceptionCtors;

}

​

@Throws!Exception

@ThrowsInclude!funcB

void funcA()

{

}

​

@Throws!MyExcept

void funcB()

{

}

​

template ThrownTypes(alias Func)

{

    enum isThrowsUDA(UDA) = isInstanceOf!(Throws, UDA) || isInstanceOf!(ThrowsInclude, UDA);

    alias UDAs = __traits(getAttributes, Func);

    alias ThrowsUDAs = Filter!(isThrowsUDA, UDAs);

    //pragma(msg, ThrowsUDAs);

    template Mapper(UDA)

    {

        static if(isInstanceOf!(Throws, UDA))

            alias Mapper = UDA.ThrowT;

        else

            alias Mapper = ThrownTypes!(UDA.Func);

    }

    alias ThrownTypes = staticMap!(Mapper, ThrowsUDAs);

}

​

pragma(msg, ThrownTypes!funcA);

​

void main(){}