[Issue 13118] Allow non-`@nogc` stuff in `@nogc` function contracts

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=13118

--- Comment #5 from yebblies <yebblies at 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.

--