 class="chapter" data-level="" data-path="type-inference.html"><a href="type-inference.html#implementation-types"><i class="fa fa-check"></i>Implementation types</a></li>
<li class="chapter" data-level="" data-path="type-inference.html"><a href="type-inference.html#type-inference-rules"><i class="fa fa-check"></i>Type inference rules</a></li>
<li class="chapter" data-level="6.10.1" data-path="type-inference.html"><a href="type-inference.html#promotion"><i class="fa fa-check"></i><b>6.10.1</b> Promotion</a><