<div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"><div class="container">
<div class="line"><code class="jet keyword">val</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">a</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">:</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">Int</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">=</code><code class="jet whitespace">&nbsp;</code><code class="jet number">1</code>&nbsp;</div>
<div class="line"><code class="jet whitespace"></code><code class="jet keyword">val</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">b</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">=</code><code class="jet whitespace">&nbsp;</code><code class="jet number">1</code><code class="jet whitespace">&nbsp;</code><code class="jet jet-comment">//&nbsp;Type&nbsp;is&nbsp;inferred</code>&nbsp;</div>
<div class="line"><code class="jet whitespace"></code><code class="jet keyword">val</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">c</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">:</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">Int</code><code class="jet whitespace">&nbsp;</code><code class="jet jet-comment">//&nbsp;Type&nbsp;required&nbsp;when&nbsp;no&nbsp;initializer&nbsp;provided</code>&nbsp;</div>
<div class="line"><code class="jet whitespace"></code><code class="jet plain">c</code><code class="jet whitespace">&nbsp;</code><code class="jet plain">=</code><code class="jet whitespace">&nbsp;</code><code class="jet number">1</code><code class="jet whitespace">&nbsp;</code><code class="jet jet-comment">//&nbsp;definite&nbsp;assignment</code></div></div></div></div>