title: Code contracts static checking does not seem to be working
body: <p>I am using VS 2010 and testing something real basic :</p>
  
  <pre><code>class Program
  {
      static void Main(string[] args)
      {
          var numbers = new int[2];
          numbers[3] = 0;
      }
  }
  </code></pre>
  
  <p>I have gone to properties > Code Contracts and have enabled the static checking. No errors / warnings/squiggly underlines are showing on compile / build.</p>
  
  <p><img src="https://i.stack.imgur.com/nMBdq.png" alt="enter image description here"></p>
  
  <p><strong>EDIT:</strong></p>
  
  <p>When turning the warning level to max I get this warning, which is not the warning I am after :</p>
  
  <p><strong>Warning   1   CodeContracts: Invoking method 'Main' will always lead to an error. If this is wanted, consider adding Contract.Requires(false) to document it</strong>    </p>