p>Meanwhile, for the second statement:</p>
<ol>
<li><code>1</code> is an expression, so it has the fresh literal type <code>1</code>.</li>
<li><code>1: 1</code> is assigned to <code>let num</code>, a mutable location, so <code>num: number</code>.</li>
</ol>
<p>Mutable locations and fresh literal types interact in confusing ways.
For example:</p>
<p><pre class="typescript-code"><span class="tm-kw">const</span> <span class="tm-vr">one</span> = <span class="tm-num">1</span>;
<span class="tm-kw">let</span> <spa