Checked vs unchecked exceptions

[Moritz Maxeiner via Digitalmars-d]

On Wednesday, 28 June 2017 at 02:09:40 UTC, Moritz Maxeiner wrote:
>
> ---
> static assert (throwsExactly!(foo, AException, BException));
> void foo() { ... }
> ---

One could even go a bit farther and implement a mixin template 
using `typeof(this)` and do:

---
void foo()
{
     mixin ThrowsExactly!(AException, BException);
}
---