no-life-before-or-after-main-no-static-ctorsdtors">1.4 There is no life before or after main (no static ctors/dtors)</a><ul></ul></li>
<li><a href="#the-language-does-not-require-a-runtime">1.5 The language does not require a runtime</a><ul></ul></li>
<li><a href="#match-must-be-exhaustive">1.6 <code>match</code> must be exhaustive</a><ul></ul></li>
<li><a href="#no-guaranteed-tail-call-optimization">1.7 No guaranteed tail-call optimization</a><ul></ul></li>
<li><a href="#no-constructors">1.8 No constructor