https://issues.dlang.org/show_bug.cgi?id=3572 --- Comment #10 from Michal Minich <michal.minich at gmail.com> --- Agreed. even pure void nothrow never() { assert(false); } can throw Error, which is observable effect. --