proposed @noreturn attribute

[bachmeier via Digitalmars-d]

On Sunday, 9 July 2017 at 11:26:27 UTC, Steven Schveighoffer 
wrote:

> The one disadvantage, is that -release removes contracts. So in 
> this particular case, the out contract should remain.

Doesn't the compiler know about an out contract even with 
-release? I don't understand why -release would prevent the 
relevant information from being passed to the compiler.