https://issues.dlang.org/show_bug.cgi?id=13118
--- Comment #5 from yebblies <yebbl...@gmail.com> --- (In reply to bearophile_hugs from comment #4) > > This compiles, but is it good? > > > void foo() nothrow > in { > throw new Exception(null); > } body { > } > void main() {} I think it's a bug. 'debug' blocks do skip checking, but seeing as pure, @safe and @nogc are enforced it's probably just been overlooked. --