d faster compile- and run-time, vendors
      could develop static analysis tools to recognize and check contracts statically
      when possible, compiler optimizations could be improved based on contract conditions,
      etc.).
    </p>
<p>
      Unfortunately, detailed and complete proposals to add contracts to the C++
      standard such as <a class="link" href="boost_contract/bibliography.html#N1962_anchor">[N1962]</a> were rejected
      by the C++ standard committee and it is not clear if the curren