DIY checking exceptions

[John Colvin via Digitalmars-d]

On Sunday, 25 June 2017 at 17:38:14 UTC, mckoder wrote:
> I am disappointed that D doesn't have checked exceptions.

I wonder what could be done with something like this:

void foo(int a)
{
     if (a > 0)
         throw new BlahException("blah");
     throw new BloopException("bloop");
}

unittest
{
     // NEW FEATURE HERE
     alias Exceptions = __traits(thrownTypes, foo);
     static assert (staticIndexOf!(BlahException, Exceptions) >= 
0);
     static assert (staticIndexOf!(BloopException, Exceptions) >= 
0);
}

I'm imagining one could use that to do quite a lot of what 
checked exceptions provide.