ons if
they are in a const context, which is produced by an <code>as const</code> type
assertion on the containing expression.</p>
<pre><code>const doom = { e: 1, m: 1 } // 'doom' has type: { e: number, m: number }
doom.e = 2

const doom2 = { e: 1, m: 1 } as const // 'doom2' has type: { e: 1, m: 1 }
doom2.e = 2 // error, '2' is not assignable to '1'
</code></pre>
<h3 id="literal-type-widening-relationships"><a href="#literal-type-widening-relationships">Literal type widening relationships.</h3></a>
<p>Liter