<div dir="ltr"><div>@Paul<div><br></div><div>On the more objective side of things, there is also the fact that, as the proposal states, it&#39;s nice to have protection against this happening:</div><div><br></div><div><div style="font-family:Menlo;font-size:10.5px;margin:0px;line-height:normal">    <span style="color:rgb(50,62,125)">let</span> str: <span style="color:rgb(88,126,168)">String</span></div><div style="font-family:Menlo;font-size:10.5px;margin:0px;line-height:normal">    <span style="color:rgb(50,62,125)">switch</span>(<span style="color:rgb(88,126,168)">state</span>) {</div><span class="im" style="font-family:Menlo;font-size:11px"><div style="margin:0px;font-size:10.5px;line-height:normal">        <span style="color:rgb(50,62,125)">case</span> .Cold: <span style="color:rgb(88,126,168)">str</span> = <span style="color:rgb(132,62,100)">&quot;Too cold&quot;; </span><span style="color:rgb(50,62,125)">self</span><span style="color:rgb(34,34,34)">.</span>freezer<span style="color:rgb(34,34,34)">.</span><span style="font-size:10.5px;color:rgb(50,62,125)">stop</span><span style="color:rgb(34,34,34)">()</span></div><div style="margin:0px;font-size:10.5px;line-height:normal">        <span style="color:rgb(50,62,125)">case</span> .Hot:  <span style="color:rgb(88,126,168)">str</span> = <span style="color:rgb(132,62,100)">&quot;Too hot&quot;</span></div><div style="margin:0px;font-size:10.5px;line-height:normal">        <span style="color:rgb(50,62,125)">default</span>:    <span style="color:rgb(88,126,168)">str</span> = <span style="color:rgb(132,62,100)">&quot;Just right&quot;</span></div><div style="margin:0px;font-size:10.5px;line-height:normal">    }</div></span></div><div><br></div></div></div>