title: may the compiler optimize based on assert(...) expressions/contracts?
body: <p><a href="http://dlang.org/expression.html#AssertExpression" rel="nofollow">http://dlang.org/expression.html#AssertExpression</a></p>
  
  <p>Regarding <code>assert(0)</code>: "The optimization and code generation phases of compilation may assume that it is unreachable code."</p>
  
  <p>The same documentation claims <code>assert(0)</code> is a 'special case', but there are several reasons that follow.</p>
  
  <p>Can the D compiler optimize based on general <code>assert</code>-ions made in contracts and elsewhere?</p>
  
  <p><sup><sub>(as if I <em>needed</em> another reason to enjoy the <code>in{}</code> and <code>out{}</code> constructs, but it certainly would make me feel a little more giddy to know that writing them could make things go fwoosh-ier)</sub></sup></p>