/p>
<h3 id="fresh-literal-types-and-mutable-locations"><a href="#fresh-literal-types-and-mutable-locations">Fresh literal types and mutable locations</h3></a>
<p>There are two key points to understand about literal widening.</p>
<ol>
<li>Literal widening only happens to literal types that originate from
expressions, not types. These are called <em>fresh</em> literal types.</li>
</ol>
<p>For example, the literal <code>1</code> has the fresh literal type <code>1</code>. But a <code>1</code>
in a type annotati