title: expression expected type unit, but it already does
body: <pre><code>let _ =
      try ("hello"; ()) with
      | _ -&gt; print_endline "hi"
  </code></pre>
  
  <p>Compiling this tells me that <code>("hello"; ())</code> 'should have type unit'</p>
  
  <p>In fact, I get the same warning with this code</p>
  
  <pre><code>let _ = "hello"; ()
  </code></pre>
  
  <p>or this code</p>
  
  <pre><code>let _ = ("hello"; ())
  </code></pre>
  
  <p>But it <strong>does</strong> have type <code>unit</code> ... doesn't it?</p>