title: What does typing.cast do in Python?
body: <pre><code>import typing
  type(typing.cast(int, '11'))
  </code></pre>
  
  <p>still returns <code>&lt;class 'str'&gt;</code> instead of <code>int</code>. Then, what does <code>typing.cast</code> do here? </p>