deploy: 4177b92

Author: PLeVasseur

CNAME

@@ -0,0 +1 @@
+coding-guidelines.arewesafetycriticalyet.org

coding-guidelines/expressions.html

@@ -116,7 +116,7 @@
 
   <section id="expressions">
 <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this heading"></a></h1>
-<div class="need_container docutils container" id="SNCB-7702798f">
+<div class="need_container docutils container" id="SNCB-b50aaad0">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_guideline docutils align-default" id="gui_HDnAZ7EZ4z6G">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -140,7 +140,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tr>
 <tr class="need content row-odd"><td class="need content" colspan="1"><p>Code must not rely on Rust’s type inference when doing explicit pointer casts via <code class="docutils literal notranslate"><span class="pre">var</span> <span class="pre">as</span> <span class="pre">Type</span></code> or <a class="reference external" href="https://doc.rust-lang.org/stable/std/?search=core%3A%3Amem%3A%3Atransmute"><code class="docutils literal notranslate"><span class="pre">core::mem::transmute</span></code></a>.
 Instead, explicitly specify the complete target type in the <code class="docutils literal notranslate"><span class="pre">as</span></code> expression or <a class="reference external" href="https://doc.rust-lang.org/stable/std/?search=core%3A%3Amem%3A%3Atransmute"><code class="docutils literal notranslate"><span class="pre">core::mem::transmute</span></code></a> call expression.</p>
-<div class="need_container docutils container" id="SNCB-f781e1e8">
+<div class="need_container docutils container" id="SNCB-83885a94">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_rationale docutils align-default" id="rat_h8LdJQ1MNKu9">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -165,7 +165,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-2d97ca29">
+<div class="need_container docutils container" id="SNCB-d1b725d5">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_V37Pl103aUW4">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -206,7 +206,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-c411961b">
+<div class="need_container docutils container" id="SNCB-119cfcae">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_W08ckDrkOhkt">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -252,7 +252,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-e5a92970">
+<div class="need_container docutils container" id="SNCB-74f6b006">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_guideline docutils align-default" id="gui_ADHABsmK9FXz">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -283,7 +283,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 <p>as either the right operand or the type of the left operand.</p>
 <p><strong>Exception:</strong> <code class="docutils literal notranslate"><span class="pre">as</span></code> may be used with <code class="docutils literal notranslate"><span class="pre">usize</span></code> as the right operand and an expression of raw pointer
 type as the left operand.</p>
-<div class="need_container docutils container" id="SNCB-d6458847">
+<div class="need_container docutils container" id="SNCB-62665785">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_rationale docutils align-default" id="rat_v56bjjcveLxQ">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -318,7 +318,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-6ce201dd">
+<div class="need_container docutils container" id="SNCB-67435733">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_hzGUYoMnK59w">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -363,7 +363,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-7370d468">
+<div class="need_container docutils container" id="SNCB-09dcbc6f">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_uilHTIOgxD37">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -427,7 +427,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-2ce649f2">
+<div class="need_container docutils container" id="SNCB-2abd063e">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_guideline docutils align-default" id="gui_PM8Vpf7lZ51U">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -453,7 +453,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 and any pointer type as the right operand.</p>
 <p><a class="reference external" href="https://doc.rust-lang.org/stable/std/?search=std%3A%3Amem%3A%3Atransmute"><code class="docutils literal notranslate"><span class="pre">std::mem::transmute</span></code></a> shall not be used with any numeric type (including floating point types)
 as the argument to the <code class="docutils literal notranslate"><span class="pre">Src</span></code> parameter, and any pointer type as the argument to the <code class="docutils literal notranslate"><span class="pre">Dst</span></code> parameter.</p>
-<div class="need_container docutils container" id="SNCB-68e099e5">
+<div class="need_container docutils container" id="SNCB-096931c5">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_rationale docutils align-default" id="rat_YqhEiWTj9z6L">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -483,7 +483,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-a39030fd">
+<div class="need_container docutils container" id="SNCB-b3e638db">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_0ydPk7VENSrA">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -527,7 +527,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-b56de6ea">
+<div class="need_container docutils container" id="SNCB-4ec061b8">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_oneKuF52yzrx">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -553,7 +553,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-148a6d87">
+<div class="need_container docutils container" id="SNCB-aadba773">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_guideline docutils align-default" id="gui_iv9yCMHRgpE0">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -577,7 +577,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tr>
 <tr class="need content row-odd"><td class="need content" colspan="1"><p>An expression of numeric type shall not be converted to a pointer if the resulting pointer
 is incorrectly aligned, does not point to an entity of the referenced type, or is an invalid representation.</p>
-<div class="need_container docutils container" id="SNCB-fa2ee1ca">
+<div class="need_container docutils container" id="SNCB-a9db6f74">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_rationale docutils align-default" id="rat_OhxKm751axKw">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -599,7 +599,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-520ff060">
+<div class="need_container docutils container" id="SNCB-925e228d">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_non_compliant_example docutils align-default" id="non_compl_ex_CkytKjRQezfQ">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">
@@ -632,7 +632,7 @@ <h1>Expressions<a class="headerlink" href="#expressions" title="Link to this hea
 </tbody>
 </table>
 </div>
-<div class="need_container docutils container" id="SNCB-746bcf89">
+<div class="need_container docutils container" id="SNCB-e189ffd2">
 <table class="need needs_grid_simple needs_layout_clean needs_style_none needs_type_compliant_example docutils align-default" id="compl_ex_oBoluiKSvREu">
 <tbody>
 <tr class="need head row-odd"><td class="need head"><div class="needs_head line-block">