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

[via Digitalmars-d-bugs]

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

Dicebot <public at dicebot.lv> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |public at dicebot.lv

--- Comment #6 from Dicebot <public at dicebot.lv> ---
I believe contracts should not be treated any specially for @nogc 

Instead throwing an errors (including AssertError) should be replaced with HLT
same as it is done for assert(false) in release builds. It will keep basic
sanity checks in place without sacrificing @nogc guarantees.

--